Explore projects
-
Updated
-
-
-
Pierre-Marie Pédrot / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
This is an annotation project on the English dialogue corpus DailyDialog using SDRT
Updated -
Gérard Huet / CCT
GNU General Public License v2.0 or laterThis repository contains the course notes of Gérard Huet "Constructive Computation Theory" on lambda calculus.
Updated -
Updated
-
COMPRISE / COMPRISE App Wizard
Apache License 2.0Helper-Tool for configuring COMPRISE SDK for your personal Angular applications
Updated -
-
GeCoS Framework provides the compiler runtime application, extension mechanisms such as compiler modules as well as the GeCoS compiler script (.cs) editor.
Updated -
Wrap the TOM language SDK (http://tom.loria.fr) and its eclipse IDE integration
Updated -
COMPRISE / COMPRISE Personal Server
MIT LicenseUpdated -
-
COMPRISE / COMPRISE Cloud Platform
GNU Affero General Public License v3.0Updated -
Updated
-
UpdatedUpdated
-
-
Expressions package from https://github.com/Ducasse/LoopBookCode
Updated -
Updated
-