Explore projects
-
-
OCaml ppx deriver for generating quoting functions for OCaml datatypes: a quoting function converts an OCaml value into its AST.
Updated -
-
POTTIER Francois / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
SCHERER Gabriel / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.
Updated -
Updated
-
Updated
-
Updated
-
Xavier Allamigeon / TPLib
GNU Lesser General Public License v2.1 onlyUpdated -
A modeling of the Encrypted Client Hello Message extension for TLS
Updated -
Regular program verification / Timbuk / timbuk
GNU Lesser General Public License v2.1 onlyA regular verification framework based on Tree Automata and Term Rewriting Systems.
Updated -
Formalizations accompanying my thesis "Extending Type Theory with Syntactical Models".
Updated -
Updated
-
Ocan Sankur / symrob
GNU General Public License v3.0 or laterTool for timed automata verification and robustness analysis
Updated -
gagallium / stog-gagallium
GNU General Public License v3.0 onlyUpdated -
spinfer / spinfer
GNU General Public License v2.0 or laterUpdated