Jean-Christophe Filliatre

icon indicating a website link https://backtracking.github.io/

Results 8 repositories owned by Jean-Christophe Filliatre

bheap

17
Stars
4
Forks
Watchers

OCaml binary heap implementation by Jean-Christophe Filliatre

verified publisher icon backtracking

bibtex2html

88
Stars
25
Forks
Watchers

verified publisher icon backtracking

bitv

29
Stars
5
Forks
Watchers

OCaml bit vector library

verified publisher icon backtracking

combine

33
Stars
2
Forks
Watchers

OCaml library for combinatorics

verified publisher icon backtracking

functory

25
Stars
4
Forks
Watchers

a distributed computing library for OCaml

verified publisher icon backtracking

ocaml-hashcons

39
Stars
10
Forks
Watchers

OCaml hash-consing library

verified publisher icon backtracking

ocamlgraph

186
Stars
55
Forks
Watchers

OCaml graph library

verified publisher icon backtracking

ptmap

17
Stars
5
Forks
Watchers

Implementation of maps of integers with Patricia trees

verified publisher icon backtracking