Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Coq Open Source Projects

Open source projects categorized as Coq
Coq ⭐ 4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dependent packages 1total releases 4most recent commit 3 months ago
Compcert ⭐ 1,696
The CompCert formally-verified C compiler
most recent commit 5 months ago
Stalin Sort ⭐ 1,381
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
most recent commit 4 months ago
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 4 years ago
Unimath ⭐ 888
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
most recent commit 3 months ago
Magmide ⭐ 778
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
most recent commit 6 months ago
Category Theory ⭐ 720
An axiom-free formalization of category theory in Coq for personal study and practical work
most recent commit 3 months ago
Sf Zh ⭐ 704
《软件基础》中译版 Software Foundations Chinese Translation
most recent commit 2 years ago
Fiat Crypto ⭐ 656
Cryptographic Primitive Code Generation by Fiat
dependent packages 15total releases 26most recent commit 3 months agocargo fiat-crypto} Downloads
Frap ⭐ 592
Formal Reasoning About Programs
most recent commit a year ago
Verdi ⭐ 559
A framework for formally verifying distributed systems implementations in Coq
most recent commit 4 months ago
Math Comp ⭐ 528
Mathematical Components
total releases 1most recent commit 3 months ago
Cosette ⭐ 509
Cosette is an automated SQL solver.
most recent commit 5 years ago
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25most recent commit 7 months agonpm jscoq} Downloads
Smalltt ⭐ 475
Demo for high-performance type theory elaboration
most recent commit 6 months ago
Pg ⭐ 461
This repo is the new home of Proof General
most recent commit 3 months ago
Coq Tricks ⭐ 458
Tricks you wish the Coq manual told you
most recent commit 5 months ago
Practical Fm ⭐ 437
A gently curated list of companies using verification formal methods in industry
most recent commit 6 months ago
Vst ⭐ 407
Verified Software Toolchain
most recent commit 3 months ago
Vellvm ⭐ 370
The Vellvm (Verified LLVM) coq development.
most recent commit 4 months ago
Metacoq ⭐ 344
Metaprogramming, verified meta-theory and implementation of Coq in Coq
most recent commit 14 days ago
Company Coq ⭐ 327
A Coq IDE build on top of Proof General's Coq mode
most recent commit a year ago
Coqgym ⭐ 327
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 10 months ago
The 7 Most Depended On 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
Goose ⭐ 80
Goose converts a small subset of Go to Coq
dependent packages 8total releases 34latest release March 29, 2023most recent commit 5 months ago
Hacspec ⭐ 230
A specification language for cryptography primitives.
dependent packages 4total releases 8latest release March 20, 2023most recent commit 6 months agocargo secret_integers} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 9 months agonpm qcert} Downloads
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25latest release October 04, 2023most recent commit 7 months agonpm jscoq} Downloads
The 10 Latest Releases In 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
Coq Tools ⭐ 35
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
total releases 4latest release October 26, 2023most recent commit 3 months ago
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25latest release October 04, 2023most recent commit 7 months agonpm jscoq} Downloads
Goose ⭐ 80
Goose converts a small subset of Go to Coq
dependent packages 8total releases 34latest release March 29, 2023most recent commit 5 months ago
Hacspec ⭐ 230
A specification language for cryptography primitives.
dependent packages 4total releases 8latest release March 20, 2023most recent commit 6 months agocargo secret_integers} 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 9 months agonpm qcert} Downloads
Profunctor Monad ⭐ 33
Bidirectional programming in Haskell with monadic profunctors
total releases 2latest release May 17, 2022most recent commit 2 years ago
Coq_jupyter ⭐ 89
Jupyter kernel for Coq
total releases 10latest release January 28, 2022most recent commit 3 months ago
Alectryon ⭐ 209
A collection of tools for writing technical documents that mix Coq code and prose.
total releases 7latest release October 15, 2021most recent commit 5 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.