Modern scientific computing for OCaml
7 daysStars41724h gain0Score0.0
OCaml
Trending OCaml repositories, ranked by momentum.
36 results
- Place 11.2
OCaml - Oxidized!
- Place 21.2
A mixture of tooling combined to produce JavaScript from OCaml & Reason
- Place 30.5
A static analyzer for Java, C, C++, and Objective-C
RankRepository7 daysStars24h gainScore
The Xapi Project's XenAPI Server
7 daysStars36624h gain-Score0.0
Universal toplevel for OCaml
7 daysStars92524h gain-Score0.0
Automated S-expression conversion
7 daysStars19824h gain-Score0.0
Static types for JSON APIs
7 daysStars35324h gain-Score0.0
OCaml promises and concurrent I/O
7 daysStars79224h gain-Score0.0
Build valid HTML and SVG documents
7 daysStars18024h gain-Score0.0
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
7 daysStars40824h gain-Score0.0
Easy OCaml bindings for Javascript libraries
7 daysStars18524h gain-Score0.0
EasyCrypt: Computer-Aided Cryptographic Proofs
7 daysStars42024h gain-Score0.0
Archive for all Rocq and Coq-related opam packages organized in various repositories
7 daysStars17224h gain-Score0.0
A library for incremental computations
7 daysStars99124h gain-Score0.0
A Protobuf Compiler for OCaml
7 daysStars19424h gain-Score0.0
The formal proof of the Kepler conjecture
7 daysStars18224h gain-Score0.0
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
7 daysStars10.3k24h gain-Score0.0
Cram like framework for OCaml
7 daysStars19624h gain-Score0.0
A composable build system for OCaml.
7 daysStars1.9k24h gain-Score0.0
Rocq plugin embedding Elpi
7 daysStars19824h gain0Score0.0
Materials for the class "Implementation of Programming Languages" in Kyoto University.
7 daysStars17124h gain-Score0.0
Proof assistant based on the λΠ-calculus modulo rewriting
7 daysStars40224h gain-Score0.0
Simple high-level language for writing Internet Computer canisters
7 daysStars59024h gain-Score0.0
The Stan transpiler (from Stan to C++ and beyond).
7 daysStars16124h gain-Score0.0
Follow this list in a feed reader(Atom, top 25)