Explore projects
-
-
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
-
-
Updated
-
-
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
Updated
-
-
LAWALL Julia / jmake-release
GNU General Public License v2.0 or laterUpdated -
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 -
-
MONTAGU Benoit / dmap
GNU Lesser General Public License v2.1 onlyA library that implements dependent (heterogeneous) immutable maps
Updated -
SHENGHAO Yuan / CertrBPF-JIT
GNU General Public License v2.0 or laterUpdated -
-
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
skeletons / opam-repository
Creative Commons Zero v1.0 UniversalUpdated -
skeletons / Necro Transformers
GNU General Public License v3.0 onlyUpdated -