Explore projects
-
CAPELLE Thomas / Tranus_Python
MIT LicenseUpdated -
Alexandre Abadie / riot-workshop-samples
GNU Lesser General Public License v2.1 onlySample source codes used during a RIOT workshop
Updated -
A library for rendering GLSL shaders in an Shadertoy-like environment
Updated -
gagallium / stog-gagallium
GNU General Public License v3.0 onlyUpdated -
UpdatedUpdated
-
Updated
-
Updated
-
Yann REGIS-GIANAS / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
Mathieu Faverge / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
UpdatedUpdated
-
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 -
-
-
-
Updated
-
Public repository of the "Opportunistic Shutdown in EASY Backfilling: What About Performance?" article submitted to Euro-Par 2018.
Updated -
Set of Satellite Image Time Series Tools developed in C++ and Python.
Updated -
-
Updated
-