Open highlighted repo slot
Put your repository first
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
GitHub projects from awesome lists
Search names, descriptions, topics, tags, and stacks, then tune results by ecosystem, freshness, health, and cross-list signal.
Open highlighted repo slot
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Type-driven code generation for OCaml
A lightweight and colourful test framework
A modern supercompiler for call-by-value functional languages
Testing, printing, coloring, and other tools to effectively write native Reason code.
OCaml bindings for PyTorch
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.
C Intermediate Language
A library for building dynamic webapps, using Js_of_ocaml.
Emacs OCaml mode
Low-level JSON parsing and pretty-printing library for OCaml
Pure OCaml Git format and protocol
The Xapi Project's XenAPI Server
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/)
A Web Application for Learning OCaml
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
TLS in pure OCaml
An OCaml kernel for Jupyter (IPython) notebook
Code coverage for OCaml and ReScript
Tutorial on Multicore OCaml parallel programming with domainslib
OCaml project generator.
OCaml bindings for TensorFlow
Formal verification for OCaml, with Rocq
An OCaml lexer generator for Unicode