Explore projects
-
Updated
-
Updated
-
Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.
Updated -
-
Updated
-
Travail sur la documentation du logiciel FiatLux http://fiatlux.loria.fr/
Updated -
gv-open / PyLR
Apache License 2.0Updated -
-
A D sub implementation in OCaml with typing and subtyping algorithms.
UpdatedUpdated -
CAPES-Math / live-build
GNU General Public License v3.0 onlyUpdated -
HAWKINS Byron / dinero
OtherDinero IV, originally downloaded from ftp://ftp.cs.wisc.edu/markhill/DineroIV.
Updated -
DYLISS / pylissIdConv
MIT LicenseThe aim of this library is to safely handle the decoding/encoding process of SBML identifiers and SBML entities names.
Updated -
HAWKINS Byron / pcm
BSD 3-Clause "New" or "Revised" LicenseIntel PCM, cloned from https://github.com/opcm/pcm.git
Updated -
Project for modelling CPU caches based on a simple benchmark
Updated -
Project for modelling CPU caches based on a simple benchmark
Updated -
WILLEMS Danny / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
This project contains the information related to the evaluation carried out during CRV 14.
Updated -
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
Updated