Explore projects
-
Thierry Martinez / redirect
BSD 3-Clause "New" or "Revised" LicenseOCaml library for channel redirection
Updated -
PARREIRA PEREIRA Mário José / 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 -
Updated
-
-
Trying to adapt blis codegen principles to a convolution.
Updated -
Updated
-
Gabriel Radanne / fix
GNU Library General Public License v2 onlyAn OCaml library that provides facilities for memoization and fixed points.
Updated -
DAGAND Pierre-Evariste / Mlang
GNU General Public License v3.0 or laterCompiler for the M language of the French DGFiP
Updated -
Thierry Martinez / override
BSD 2-Clause "Simplified" LicenseOCaml PPX extension for overriding modules
Updated -
Pierre Neyron / libguestfs
GNU Lesser General Public License v2.1 onlyUpdated -
-
-
Thierry Martinez / ppx_show
BSD 3-Clause "New" or "Revised" LicenseOCaml PPX deriver for deriving show based on ppxlib.
Updated -
Updated
-
Ocan Sankur / symrob
GNU General Public License v3.0 or laterTool for timed automata verification and robustness analysis
Updated -
Updated
-
THERY Laurent / coqprime
GNU Lesser General Public License v2.1 onlyUpdated -
A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.
Updated