Explore projects
-
Updated
-
MARTINOT Olivier / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
-
Updated
-
Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.
Updated -
-
POTTIER Francois / fix
GNU Library General Public License v2 onlyAn OCaml library that provides facilities for memoization and fixed points.
Updated -
spinfer / spinfer
GNU General Public License v2.0 or laterUpdated -
CHAVANON Clement / pfcomp
MIT LicenseUpdated -
Updated
-
POTTIER Francois / monolith
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
-
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 -