Explore projects
-
-
Updated
-
Updated
-
POTTIER Francois / oma
GNU Library General Public License v2 onlyUpdated -
ACG / dev / readline-ocaml
CeCILL Free Software License Agreement v2.0Updated -
skeletons / Necro Ocaml Generator
GNU General Public License v3.0 onlyUpdated -
Updated
-
HAMELIN David / jscoq-test
Creative Commons Attribution 2.5 GenericUpdated -
MICHELLAND Sébastien / itree-ai
GNU General Public License v3.0 or laterAbstract Interpretation with ITrees.
Updated -
Armaël Guéneau / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
POTTIER Francois / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
POTTIER Francois / feat
MIT LicenseFacilities for enumerating and sampling algebraic data types
Updated -
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
POTTIER Francois / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
POTTIER Francois / sek
GNU General Public License v3.0 or laterAn efficient OCaml implementation of ephemeral and persistent sequences
Updated -
-
LAWALL Julia / jmake-release
GNU General Public License v2.0 or laterUpdated -
MONTAGU Benoit / dmap
GNU Lesser General Public License v2.1 onlyA library that implements dependent (heterogeneous) immutable maps
Updated -
-