A modern supercompiler for call-by-value functional languages
Repository Index
47,133 repositories indexed
25–48 of 170 · Most stars
OCaml bindings for PyTorch
The Ott tool for writing definitions of programming languages and calculi
Library for binding to C libraries using pure OCaml
Functional HTML scraping and rewriting with CSS in OCaml
QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
C Intermediate Language
A library for building dynamic webapps, using Js_of_ocaml.
Low-level JSON parsing and pretty-printing library for OCaml
- json
- ocaml
- yojson
- parser
Pure OCaml Git format and protocol
- git
- ocaml
Cooperative-threaded access to relational data
Static types for JSON APIs
Declarative definition of command line interfaces for OCaml
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Code coverage for OCaml and ReScript
- coverage
- ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
OCaml project generator.
- spin
- ocaml
- reason
- template
OCaml bindings for TensorFlow
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An OCaml lexer generator for Unicode
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search