Explore projects
-
batsim / batsky
BSD 3-Clause "New" or "Revised" LicenseFramework companion of Batsim to control timeline of legacy applications according to simulation.
Updated -
Thierry Martinez / pattern
BSD 2-Clause "Simplified" LicensePPX extension that generates functions from patterns that explain match failures by returning the common context and the list of differences between a pattern and a value.
Updated -
Updated
-
ROUXEL Benjamin / STR2RTS
GNU General Public License v3.0 onlyColllection of benchmarks ready for Real Time System benchmarking extracted from the StreamIT benchmark suite.
Updated -
Basic finite element code to use as a basis for students projects.
Updated -
skelton / PySkelton
GNU Affero General Public License v3.0Python version of Skelton project
Updated -
Armaël Guéneau / incremental-cycles
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics
Updated -
LARRIEU Robin / tower
GNU General Public License v2.0 or laterAn alternative approach for finite fields embeddings
Updated -
HUYGHE Antoine / Async Profiler for PowerAPI
Apache License 2.0A JVM agent to profile the execution of applications.
Updated -
-
Python library for controlling an Ozobot Evo robot via its Bluetooth connection.
Updated -
-
Xug / nix-tutorial
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Lua reformulation of Egbert experiments of "Modeling habits as self-sustaining patterns of sensorimotor behavior" [Egbert2014]. Plus some ideas on "anticipation" (?)
Updated -
PerCom2018 article and presentation: "Sprinker: a probabilistic dissemination protocol to provide fluid user interaction in multi-device ecosystems" (https://hal.inria.fr/hal-01704172v2)
Updated -
Phd thesis template for the UBL MathSTIC doctoral school:
https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these
Updated -