47,133 repositories indexed
1–24 of 34 · 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.
Binary Analysis Platform
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
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.
Functional HTML scraping and rewriting with CSS in OCaml
Cooperative-threaded access to relational data
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
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.
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.
Less redundancy in type declarations and signatures
Generate nix expressions from opam packages
mustache.js logic-less templates in OCaml
An SMT solver frontend for OCaml
Famous 99 problems in OCaml
Python bindings for the Coq interactive proof assistant
Parallelize _anything_ //
RSS and Atom feed parsing
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]