Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Compiler Coq Open Source Projects

Open source projects categorized as Compiler Coq
Categories > Compilers > Compiler
Compcert ⭐ 1,696
The CompCert formally-verified C compiler
most recent commit 5 months ago
Fiat Crypto ⭐ 656
Cryptographic Primitive Code Generation by Fiat
dependent packages 15total releases 26most recent commit 3 months agocargo fiat-crypto} Downloads
Bedrock2 ⭐ 266
A work-in-progress language and compiler for verified low-level programming
most recent commit 3 months ago
Coq Of Ocaml ⭐ 237
Formal verification for OCaml
most recent commit 3 months ago
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
Certicoq ⭐ 117
A Verified Compiler for Gallina, Written in Gallina
most recent commit 3 months ago
Aeneas ⭐ 82
A verification toolchain for Rust programs
most recent commit 3 months ago
Collapsing Towers ⭐ 69
Collapsing Towers of Interpreters
most recent commit 3 years ago
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12most recent commit 10 months agonpm qcert} Downloads
Lvc ⭐ 51
LVC verified compiler
most recent commit 5 years ago
Free Compiler ⭐ 38
A Haskell to Coq compiler that represents effectful programs with the free monad
most recent commit 2 years ago
Velus ⭐ 34
A Lustre compiler in Coq
most recent commit 3 years ago
Calc Comp ⭐ 27
Coq proofs for the paper "Calculating Correct Compilers"
most recent commit 4 months ago
Coq Compile ⭐ 25
A compiler for Coq
most recent commit 11 years ago
Mcqc ⭐ 23
A Gallina compiler with C++17 as an intermediate representation
most recent commit 3 years ago
Brainfuck ⭐ 21
Brainfuck formalized in Coq
most recent commit 2 years ago
Pukeko ⭐ 20
A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
most recent commit 2 years ago
Coq Smart Contract ⭐ 17
most recent commit 8 years ago
Compcert ⭐ 13
Fork of http://compcert.inria.fr/
most recent commit 9 years ago
Bramble ⭐ 11
dependently-typed lisp with flexible compiler backends
most recent commit 5 years ago
Compcert.old ⭐ 10
CompCertX features to be merged into CompCert
most recent commit 6 years ago
Compcomp ⭐ 9
Compositional CompCert
most recent commit 5 years ago
L2c ⭐ 7
most recent commit 5 years ago
The 3 Most Depended On Compiler Coq Open Source Projects
Fiat Crypto ⭐ 656
Cryptographic Primitive Code Generation by Fiat
dependent packages 15total releases 26latest release November 16, 2023most recent commit 3 months agocargo fiat-crypto} Downloads
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960latest release November 08, 2022most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
The 3 Latest Releases In Compiler Coq Open Source Projects
Fiat Crypto ⭐ 656
Cryptographic Primitive Code Generation by Fiat
dependent packages 15total releases 26latest release November 16, 2023most recent commit 3 months agocargo fiat-crypto} Downloads
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960latest release November 08, 2022most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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