A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
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
Declarative definition of command line interfaces for OCaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A neat interface for Slack
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
OCaml/MPI interface
The human friendly interface to ocaml-re