Awesome Open Source

Programming Languages

Search results for definition coq

29 search results found

Company Coq ⭐ 327

A Coq IDE build on top of Proof General's Coq mode

The Ott tool for writing definitions of programming languages and calculi

Foundations ⭐ 205

Voevodsky's original development of the univalent foundations of mathematics in Coq

Interactiontrees ⭐ 180

A Library for Representing Recursive and Impure Programs in Coq

Lem semantic definition language

A SuperCompiler for Martin-Löf's Type Theory

Wasmcert Coq ⭐ 84

A mechanisation of Wasm in Coq

Name The Biggest Number ⭐ 38

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Topology ⭐ 28

Formal topology (and some probability) in Coq

Calc Comp ⭐ 27

Coq proofs for the paper "Calculating Correct Compilers"

Algorand Verification ⭐ 25

Formal verification of the Algorand consensus protocol

Nuprlincoq ⭐ 25

Implementation of Nuprl's type theory in Coq

Deriving ⭐ 22

Class instances for Coq inductive types with little boilerplate

Rewriter ⭐ 22

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

Intermediate Memory Model (IMM) and compilation correctness proofs for it

Infseqext ⭐ 13

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Graphcoql ⭐ 12

Largecatmodules ⭐ 11

Large category of modules over monads on top of UniMaths and Display category

Lensstateisyourfather ⭐ 10

Lens, State is your father... and I can prove It!

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

Ocaml Light ⭐ 6

Cocoricoogle ⭐ 6

Certified proof checker for Fitch-style propositional logic proofs

When Good Components Go Bad ⭐ 6

Coq formalization for "When Good Components Go Bad" paper (and `memory-sharing` branch for "SecurePtrs" paper)

Groupoids ⭐ 6

Groupoids vs 1-Types

Monadification ⭐ 5

Coq plugin for monadification

Ftfjp 2019 ⭐ 5

Submission for FTfJP-2019

Related Searches

Javascript Definition (1,592)

Python Definition (981)

Typescript Definition (908)

Types Definition (522)

Ocaml Coq (164)

Scala Definition (103)

Haskell Coq (63)

Definition Completion (61)

Definition Ocaml (57)

1-29 of 29 search results

Privacy | About | Terms | Follow Us On Twitter

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