fpottier
Follow
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
-
-
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedJan 16, 2026 -
-
-
-
patricia Public
A minimal implementation of integer maps based on Patricia trees
-
intPQueue Public
A fast and compact priority queue with low integer keys
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Rocq Prover Other UpdatedSep 22, 2025 -
-
-
-
rocq-prover.org Public
Forked from rocq-prover/rocq-prover.orgThe Rocq Prover Website
HTML Other UpdatedApr 23, 2025 -
cppo Public
Forked from ocaml-community/cppoC-style preprocessor for OCaml
OCaml BSD 3-Clause "New" or "Revised" License UpdatedDec 4, 2024 -
-
-
-
-
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedSep 25, 2023 -
mpri-2.4-projet-2022-2023 Public
A programming project on automatic differentiation in OCaml
-
-
learn-ocaml-corpus Public
Forked from ocaml-sf/learn-ocaml-corpusA corpus of automatically graded exercises to learn functional programming in OCaml.
OCaml UpdatedJan 10, 2021 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedDec 3, 2020 -
multicore-opam Public
Forked from ocaml-multicore/multicore-opamOPAM repo for OCaml multicore development
MIT License UpdatedMar 31, 2020 -
learn-ocaml Public
Forked from ocaml-sf/learn-ocamlA Web Application for Learning OCaml
OCaml Other UpdatedFeb 7, 2020 -
opam-publish Public
Forked from ocaml-opam/opam-publishA tool to ease contributions to opam repositories
OCaml Other UpdatedJun 14, 2019 -
autosubst Public
Forked from rocq-community/autosubstAutomation for de Bruijn syntax and substitution in Coq
Coq UpdatedSep 19, 2017