Discover @backtracking Open Source projects

Jean-Christophe Filliatre (@backtracking)

backtracking

Stars
647
Global Rank 46,060 (Top 2 %)
Followers 148
Following 5
Registered over 11 years ago
Most used languages

OCaml
96.2 %

Ruby
3.8 %

ocamlgraph

OCaml graph library

bibtex2html

ocaml-hashcons

OCaml hash-consing library

combine

OCaml library for combinatorics

bitv

OCaml bit vector library

functory

a distributed computing library for OCaml

ptmap

Implementation of maps of integers with Patricia trees

bheap

OCaml binary heap implementation by Jean-Christophe Filliatre

vector

program-proofs-with-why3

Some programs from Rustan Leino's "Program Proofs", in Why3.

ocaml-bdd

A simple BDD library for OCaml

creal

An exact real arithmetic (aka constructive reals) for OCaml

hashset

OCaml implementation of sets as hash tables by Jean-Christophe Filliatre

ocaml-bazaar

flex-array

OCaml implementation of flexible arrays

bag

Bag library for OCaml

mlpost

ptset

Integer set implementation using Patricia trees

astro

calculs astronomiques (in French)

grid

cfrac

hashlife

backtracking.github.io

aoc

ocamlwc

latexpp

yamlpp

yet another markup language preprocessor