Awesome Open Source

Programming Languages

Search results for paper coq

15 search results found

Concert ⭐ 105

A framework for smart contract verification in Coq

Dot Iris ⭐ 29

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

Calc Comp ⭐ 27

Coq proofs for the paper "Calculating Correct Compilers"

🧊 An indexed construction of semi-simplicial and semi-cubical types

Graded Haskell ⭐ 23

Graded Dependent Type systems

Micro Policies Coq ⭐ 15

Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

Regex Reexamined Coq ⭐ 14

Formalization of FLP Impossibility Theorem

Ledgertheory ⭐ 12

Algebraically Indexed Types ⭐ 11

Repository for documents and experiments to do with algebraically-indexed types

Formalmetacoq ⭐ 11

Arthur's Formal Metatheory in Coq

Demystifying the magic of supertactics

Mccarthy Painter ⭐ 8

Coq proof for the paper "Compiling a Fifty Year Journey"

Exploring Robust Property Preservation ⭐ 7

Coq development for "Journey Beyond Full Abstraction" paper

Consistent Subtyping For All ⭐ 7

Artifact for paper Consistent Subtyping for All published in ESOP 2018 and its significant extended version published in TOPLAS

Ftfjp 2019 ⭐ 5

Submission for FTfJP-2019

Related Searches

Python Paper (6,544)

Jupyter Notebook Paper (1,878)

Deep Learning Paper (1,772)

Dataset Paper (1,252)

Pytorch Paper (1,081)

Network Paper (986)

Matlab Paper (969)

Javascript Paper (861)

Tex Paper (819)

Paper Neural (813)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.