Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Ocaml Coq Opam Open Source Projects

Open source projects categorized as Ocaml Coq Opam
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
Eth Isabelle ⭐ 209
A Lem formalization of EVM and some Isabelle/HOL proofs
most recent commit 6 years ago
Lem ⭐ 120
Lem semantic definition language
most recent commit 5 months ago
Formalml ⭐ 60
Formalization of Machine Learning Theory with Applications to Program Synthesis
most recent commit 3 months ago
Dry Analyzer ⭐ 38
Dr. Y's Ethereum Contract Analyzer
most recent commit 6 years ago
Velus ⭐ 34
A Lustre compiler in Coq
most recent commit 3 years ago
Cpumodels ⭐ 20
GoNative project: formal machines models in Coq
most recent commit 7 years ago
Clerical ⭐ 20
Command-like expressions for real infinite-precision calculations
most recent commit a year ago
Waterproof ⭐ 17
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
most recent commit a year ago
Constructors ⭐ 15
Example Coq plugin
most recent commit 6 years ago
Mcoq ⭐ 14
Mutation analysis tool for Coq verification projects
most recent commit 4 years ago
Coq Plugin Template ⭐ 13
Template of Coq Plugin using the Dune build system, and showcasing some advanced features
most recent commit 2 years ago
Coq Contribs ⭐ 6
most recent commit 3 years ago
Sail Cheri Mips ⭐ 6
CHERI-MIPS model written in Sail
most recent commit 3 years ago
Ocaml Light ⭐ 6
most recent commit 5 years ago
Cage ⭐ 5
most recent commit 4 years ago
Vpl ⭐ 5
Verimag Polyhedra Library
most recent commit 4 years 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.