Explore projects
-
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
Updated -
Updated
-
Updated
-
Alwen TIU / pfmc-prover
BSD 3-Clause "New" or "Revised" LicenseParallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Updated -
http://windatlas.xyz A website for making 40 years of hourly wind energy data easily available.
Updated -
Active Knowledge Graph Completion resources
Updated -
-
-
Updated
-
-
-
Updated
-
Updated
-
lunar / MoonBeam
Apache License 2.0MoonBeam converts AFL tuples (i.e., coverage information) into bitvectors usable by MoonLight
Updated -
repository 5: PDDL4J-TO by Damien Pellier and Humbert Fiorino
Updated -
-
mu / mu-perf-benchmarks
Apache License 2.0Mu performance measurement framework and benchmarks.
Updated -