87,075 visible repositories in the index
1–15 of 15 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Automated S-expression conversion
Typed Regular Expressions
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
Pure OCaml implementation of Zlib.
Generate nix expressions from opam packages
Python bindings for the Coq interactive proof assistant
Parallelize _anything_ //
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
The dumb OCaml key-value store