47,133 repositories indexed
1–24 of 24 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Terraform without the state file bottleneck
Functional HTML scraping and rewriting with CSS in OCaml
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Tutorial on Multicore OCaml parallel programming with domainslib
Formal verification for OCaml, with Rocq
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Web library for OCaml with support for HTTP/1.X / HTTP/2
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Interfacing Qt/QML with OCaml. Formely known as lablqt
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
OCaml template engine almost compatible with jinja2
OCaml type-safe query builder with syntax tree extension
Nice parsers in OCaml without the boilerplate
Light library to deal with RPCs in OCaml
Template for an ocaml project with modern tooling
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
general value printing within compiled programs
A library for printing OCaml values with sharing
OCaml pattern-matching extended with regexps (unmaintained)
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Fully functional implementation of FCNNs with Back Prop