Explore projects
-
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
CORSE / easytracker
Affero General Public License v1.0Updated -
REINKE Chris / Experiment Utils
GNU General Public License v3.0 or laterVarious tools to run scientific computer experiments.
Topics: pythonUpdated -
SIMONIN Matthieu / enos-kubernetes
GNU General Public License v3.0 onlyUpdated -
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Collection of CMake modules that can be shared among projects
Updated -
BAUCHER Achille / pydynamo
The UnlicenseUpdated -
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 -
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
-
Updated
-
-
Toolkit to manage sets of closed intervals.
Updated -
learninglab / mooc-styleguide
MIT LicenseUpdated -
Loki / PolyphonyECS
OtherAn experimental GUI programming toolkit based on the Entity-Component-System (ECS) model
Updated -
-
memcad / memcad
GNU General Public License v3.0 onlyUpdated