Pinned Repositories
array_blit
Investigation of a slow loop issue with OCaml 5
array_set_loop
Investigation of a slow loop issue with OCaml 5
autosubst
Automation for de Bruijn syntax and substitution in Coq
baby
A balanced binary search tree library for OCaml
coq-iteration
Mathematical concepts related to iteration
loop
mpri-2.4-projet-2022-2023
A programming project on automatic differentiation in OCaml
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pprint
A pretty-printing combinator library for OCaml
fpottier's Repositories
fpottier/pprint
A pretty-printing combinator library for OCaml
fpottier/mpri-2.4-projet-2022-2023
A programming project on automatic differentiation in OCaml
fpottier/baby
A balanced binary search tree library for OCaml
fpottier/loop
fpottier/coq-iteration
Mathematical concepts related to iteration
fpottier/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
fpottier/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
fpottier/array_blit
Investigation of a slow loop issue with OCaml 5
fpottier/array_set_loop
Investigation of a slow loop issue with OCaml 5
fpottier/autosubst
Automation for de Bruijn syntax and substitution in Coq
fpottier/bibtex2html
fpottier/CompCert
The CompCert C verified compiler
fpottier/dune
A composable build system for OCaml.
fpottier/learn-ocaml
A Web Application for Learning OCaml
fpottier/learn-ocaml-corpus
A corpus of automatically graded exercises to learn functional programming in OCaml.
fpottier/hector
A vector library for OCaml
fpottier/multicore-opam
OPAM repo for OCaml multicore development
fpottier/ocaml
The core OCaml system: compilers, runtime system, base libraries
fpottier/opam-publish
A tool to ease contributions to opam repositories
fpottier/pygments
Pygments is a generic syntax highlighter written in Python