Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Ocaml Coq Open Source Projects

Open source projects categorized as Ocaml 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
Vellvm ⭐ 370
The Vellvm (Verified LLVM) coq development.
most recent commit 4 months ago
Ott ⭐ 318
The Ott tool for writing definitions of programming languages and calculi
most recent commit 4 months ago
Vscoq ⭐ 290
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh
most recent commit 3 months ago
Coq Of Ocaml ⭐ 237
Formal verification for OCaml
most recent commit 3 months ago
Quickchick ⭐ 235
Randomized Property-Based Testing Plugin for Coq
most recent commit 4 months ago
Eth Isabelle ⭐ 209
A Lem formalization of EVM and some Isabelle/HOL proofs
most recent commit 6 years ago
Coqhammer ⭐ 194
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 5 months ago
Coq2rust ⭐ 187
Coq to Rust program extraction. The whole tree is on the original Coq code base.
most recent commit 9 years ago
Verdi Raft ⭐ 175
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
most recent commit 5 months ago
Smtcoq ⭐ 145
Communication between Coq and SAT/SMT solvers
most recent commit 3 months ago
Fiat ⭐ 141
Mostly Automated Synthesis of Correct-by-Construction Programs
most recent commit 4 months ago
Kami ⭐ 130
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
most recent commit 6 months ago
Coq Lsp ⭐ 121
Visual Studio Code Extension and Language Server Protocol for Coq
most recent commit 3 months ago
Lem ⭐ 120
Lem semantic definition language
most recent commit 5 months ago
Coq Serapi ⭐ 119
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
most recent commit 3 months ago
Coq Elpi ⭐ 117
Coq plugin embedding elpi
most recent commit 3 months ago
Mindless Coding ⭐ 104
Mindless, verified (erasably) coding using dependent types
most recent commit 8 years ago
Peacoq ⭐ 99
PeaCoq is a pretty Coq, isn't it?
most recent commit 4 years ago
Aeneas ⭐ 82
A verification toolchain for Rust programs
most recent commit 3 months ago
Ch2o ⭐ 81
most recent commit 2 years ago
Vericert ⭐ 73
A formally verified high-level synthesis tool based on CompCert and written in Coq.
most recent commit 3 months ago
Next 700 Module Systems ⭐ 69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
most recent commit 3 years ago
The 2 Most Depended On Ocaml Coq Open Source Projects
The 2 Latest Releases In Ocaml Coq Open Source Projects
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.