Explore projects
-
Updated
-
-
-
-
popstar / SAT-Equiv
GNU Affero General Public License v3.0SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.
Updated -
UpdatedUpdated
-
Mathieu Faverge / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
Yann REGIS-GIANAS / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
Updated
-
Updated
-
UpdatedUpdated
-
gagallium / stog-gagallium
GNU General Public License v3.0 onlyUpdated -
A library for rendering GLSL shaders in an Shadertoy-like environment
Updated -
Alexandre Abadie / riot-workshop-samples
GNU Lesser General Public License v2.1 onlySample source codes used during a RIOT workshop
Updated -
CAPELLE Thomas / Tranus_Python
MIT LicenseUpdated -
-
Armaël Guéneau / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
A French grammar generated from a MetaGrammar (MG) and compiled with DyALog.
It is based on a previous MetaGrammar (frenchmg), itself based on a previous version developped by Lionel Clement. It is more compact.
Updated -
almanach / MetaGrammarToolkit / french-toy-tag
GNU General Public License v2.0 or laterThis package may be used to build a TAG parser tag_parser' and a mixed TAG/TIG parser tig_parser' for a toy french Tree Adjoining Grammars.
Updated -
almanach / MetaGrammarToolkit / spmg
GNU General Public License v2.0 or laterUpdated