Library for binding to C libraries using pure OCaml
Repository Index
86,576 visible repositories in the index
49–72 of 223 · Most stars
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
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/)
- mldonkey
- ocaml-program
- p2p
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
TLS in pure OCaml
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
OCaml graph library
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search