47,133 repositories indexed
1–24 of 35 · 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.
MirageOS is a library operating system that constructs unikernels
Irmin is a distributed database that follows the same design principles as Git
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
An OCaml library for HTTP clients and servers using Lwt or Async
Effects-based direct-style IO for multicore OCaml
A lightweight and colourful test framework
A modern supercompiler for call-by-value functional languages
QuickCheck inspired property-based testing for OCaml.
Pure OCaml Git format and protocol
TLS in pure OCaml
OCaml debug adapter
Web library for OCaml with support for HTTP/1.X / HTTP/2
An OCaml generic virtual machine for microcontrollers
A compiler for the 🎃 Spooky 😱 programming language 👻
typed bidirectional router for OCaml/ReasonML web applications
Nice parsers in OCaml without the boilerplate
Pure OCaml implementation of Zlib.
OCaml implementation of the DNS protocol
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
OCaml cryptographic library
Light library to deal with RPCs in OCaml
RFC3986 URI parsing library for OCaml
Simple hash algorithms in OCaml