Open highlighted repo slot
Put your repository first
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
Awesome List
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
GitHub stars and default-branch commits for ocaml-community/awesome-ocaml.
223 repos currently saved from this list.
Open highlighted repo slot
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
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
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
OCaml graph library
OCaml debug adapter
Terminal manipulation library for OCaml
OCaml library for reading, writing and modifying PDF files
Jane Street's standard library overlay (kernel)
A REST toolkit for OCaml
Web library for OCaml with support for HTTP/1.X / HTTP/2
Elm architecture and (V)DOM for OCaml
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.
Automated S-expression conversion
Cram like framework for OCaml
pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
Typed Regular Expressions
Easy OCaml bindings for Javascript libraries
An extension for VS Code which provides support for the OCaml language.
A Yojson codec generator for OCaml.
Interfacing Qt/QML with OCaml. Formely known as lablqt
Quick C-- compiler (no longer maintained)
Self-contained monadic parser combinators for OCaml
An OCaml generic virtual machine for microcontrollers
Syntax extension for writing SQL in OCaml
typed bidirectional router for OCaml/ReasonML web applications
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
Error-recovering streaming HTML5 and XML parsers
A simple scheduler for OCaml 5
OCaml template engine almost compatible with jinja2
OCaml bindings to the SQLite3 database
OCaml type-safe query builder with syntax tree extension
A pure OCaml PostgreSQL client library
Nice parsers in OCaml without the boilerplate
OCaml Bioinformatics Library
A Unicode library for OCaml
Pure OCaml implementation of Zlib.
OCaml implementation of the DNS protocol
OCaml Math Library
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
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
Lwt Translations of the Async Code Examples in Real World OCaml