Explore projects
-
Why3 / 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 / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
-
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
synchrone / Heptagon
GNU General Public License v3.0 onlyHeptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).
Updated -
Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.
Updated -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
memcad / memcad
GNU General Public License v3.0 onlyUpdated -
POTTIER Francois / fix
GNU Library General Public License v2 onlyAn OCaml library that provides facilities for memoization and fixed points.
Updated -
-
Updated
-
Resources for course MPRI 2-4 on functional programming and type systems.
Updated -
Updated
-
An implementation of a causal and interactive model for a concurrent MiniOCaml
Updated -
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
Fresco / Capla / Compiler
GNU Lesser General Public License v2.1 onlyUpdated -
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated