Discover @fpottier Open Source projects

François Pottier (@fpottier)

fpottier

Stars
128
Global Rank 173,460 (Top 6 %)
Followers 87
Registered almost 12 years ago
Most used languages

OCaml
71.4 %

Coq 28.6 %
Location 🇫🇷 France
Country Total Rank 5,130
Country Ranking

Coq 16

OCaml
39

pprint

A pretty-printing combinator library for OCaml

baby

A balanced binary search tree library for OCaml

mpri-2.4-projet-2022-2023

A programming project on automatic differentiation in OCaml

stores

An OCaml library that offers several implementations of (in-memory) stores.

loop

coq-iteration

Mathematical concepts related to iteration

hachis

A hash set and hash map library for OCaml