Pinned Repositories
bheap
OCaml binary heap implementation by Jean-Christophe Filliatre
bibtex2html
bitv
OCaml bit vector library
combine
OCaml library for combinatorics
functory
a distributed computing library for OCaml
ocaml-hashcons
OCaml hash-consing library
ocamlgraph
OCaml graph library
program-proofs-with-why3
Some programs from Rustan Leino's "Program Proofs", in Why3.
ptmap
Implementation of maps of integers with Patricia trees
vector
backtracking's Repositories
backtracking/ocamlgraph
OCaml graph library
backtracking/bibtex2html
backtracking/ocaml-hashcons
OCaml hash-consing library
backtracking/combine
OCaml library for combinatorics
backtracking/bitv
OCaml bit vector library
backtracking/functory
a distributed computing library for OCaml
backtracking/bheap
OCaml binary heap implementation by Jean-Christophe Filliatre
backtracking/vector
backtracking/program-proofs-with-why3
Some programs from Rustan Leino's "Program Proofs", in Why3.
backtracking/ocaml-bdd
A simple BDD library for OCaml
backtracking/creal
An exact real arithmetic (aka constructive reals) for OCaml
backtracking/ocaml-bazaar
backtracking/bag
Bag library for OCaml
backtracking/hashset
OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
backtracking/flex-array
OCaml implementation of flexible arrays
backtracking/mlpost
backtracking/ptset
Integer set implementation using Patricia trees
backtracking/astro
calculs astronomiques (in French)
backtracking/grid
backtracking/cfrac
backtracking/hashlife
backtracking/aoc
backtracking/backtracking.github.io
backtracking/latexpp
backtracking/opam-repository
Package descriptions for OPAM
backtracking/yamlpp
yet another markup language preprocessor
backtracking/ocaml
The core OCaml system: compilers, runtime system, base libraries
backtracking/ocaml-ci
A CI for OCaml projects
backtracking/ocamlweb
backtracking/spds
Semi-Persistent Data Structures