Explore projects
-
-
JEANNOT Emmanuel / TopoMatch
BSD 3-Clause "New" or "Revised" LicenseProcess mapping algorithms and tools for general topologies
Updated -
pred-tv / cohpred
GNU General Public License v3.0 or laterCoherent predicates: translation validation of properties of various types of predicates at runtime, interfacing with SMTCoq for validation of SMT unsatisfiability certificates.
Updated -
pred-tv / SMTCoq
CeCILL-C Free Software License AgreementFork of https://github.com/smtcoq/smtcoq.
Updated -
MOROZ Guillaume / voxelize
GNU General Public License v2.0 or laterVoxelize is a command line and python library to plot surfaces and curves solutions of polynomial equations and inequalities, using internally compressed sparse fiber to encode boxes and polynomials.
Updated -
-
Léo Cosseron / libkvmi
OtherUpdated -
COUDERT David / k shortest simple paths
GNU Affero General Public License v3.0Algorithms for computing the k shortest simple paths from a source to a destination in a weighted directed graph.
Updated -
Updated
-
obelix / triskele-doc
OtherUpdated -
Catala / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
MOINE Alexandre / cfml-sek
MIT LicenseUpdated -
-
Updated
-
Updated