Jean-Christophe Filliatre (@backtracking)
github

backtracking

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    647
  • Global Rank 46,073 (Top 2 %)
  • Followers 148
  • Following 5
  • Registered almost 12 years ago
  • Most used languages
    OCaml
         96.2 %
    Ruby
         3.8 %

Top repositories

1

ocamlgraph

OCaml graph library
OCaml
233
star
2

bibtex2html

OCaml
97
star
3

ocaml-hashcons

OCaml hash-consing library
OCaml
46
star
4

combine

OCaml library for combinatorics
OCaml
35
star
5

bitv

OCaml bit vector library
OCaml
33
star
6

functory

a distributed computing library for OCaml
OCaml
25
star
7

ptmap

Implementation of maps of integers with Patricia trees
OCaml
20
star
8

bheap

OCaml binary heap implementation by Jean-Christophe Filliatre
OCaml
18
star
9

vector

OCaml
16
star
10

program-proofs-with-why3

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

ocaml-bdd

A simple BDD library for OCaml
OCaml
14
star
12

creal

An exact real arithmetic (aka constructive reals) for OCaml
OCaml
13
star
13

hashset

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

ocaml-bazaar

OCaml
10
star
15

flex-array

OCaml implementation of flexible arrays
OCaml
10
star
16

bag

Bag library for OCaml
OCaml
10
star
17

mlpost

OCaml
9
star
18

ptset

Integer set implementation using Patricia trees
OCaml
9
star
19

astro

calculs astronomiques (in French)
OCaml
8
star
20

grid

OCaml
6
star
21

cfrac

OCaml
5
star
22

hashlife

OCaml
3
star
23

backtracking.github.io

Ruby
2
star
24

aoc

OCaml
2
star
25

ocamlwc

OCaml
1
star
26

latexpp

OCaml
1
star
27

yamlpp

yet another markup language preprocessor
OCaml
1
star