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–6 of 6 · Most stars
Communication between Coq and SAT/SMT solvers
Path-based dispatching for client- and server-side applications.
- web
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
OCaml pattern-matching extended with regexps (unmaintained)
Pure OCaml implementation of libXdiff (Rabin's fingerprint)