OFTS

OCaml Fuzzy Type Search

Ultimate goal: Hoogle for OCaml, able to mine all your opam-installed packages, from the command-line.

PS: there will be no diophantine equation solver in there; just a hack to get 80% of the job done.

Related Projects

ocaml-rs

OCaml extensions in Rust

15 Feb 2018 259

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations,...

17 Feb 2012 1,236

coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242

experiment-with-ocaml-5

For playing around with OCaml 5.0

17 Dec 2022 5

ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134

batpp

A dumb, source to source, preprocessor for OCaml code

18 Jan 2021 3

selfish

selfish - the shell dyed in your selfish colors.

26 Feb 2024 1

sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4

ocaml-multicore

Multicore OCaml

24 Apr 2015 763

aricomp

an arithmetic compressor

17 Jan 2024 2

hoogle_for_ocaml

Same as https://www.haskell.org/hoogle/ but for OCaml programmers

09 Feb 2017 7

MMO

Molecular Mechanics in OCaml

22 Feb 2024 1

angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637

js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932

ocaml

The core OCaml system: compilers, runtime system, base libraries

20 Nov 2012 5,195

ofts