Explore projects
-
Gazelle / Public / Validation / Schematron Validator
Apache License 2.0Validation service for XML documents, based on Schematron description.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
l1p5 / l1p5-vuejs
GNU Affero General Public License v3.0Updated -
FELiScE / FELiScE
OtherFELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
CLAUSS Philippe / apollo
BSD 3-Clause "New" or "Revised" LicenseAutomatic speculative POLyhedraL Loop Optimizer
Updated -
GeCoS / gecos-hls
Eclipse Public License 2.0Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
PAPERMAN Charles / pysemigroup
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
Updated
-
-
An unstructured collection of Jasmin programs, of unknown quality, meant for illustration.
Updated -
COMPO / compo.tidyML
OtherUpdated -
vizisoft / vizitig
BSD 3-Clause "New" or "Revised" LicenseUpdated -
RODET Matthieu / Circadia Artefact
MIT LicenseUpdated
