Explore projects
-
-
Repository for the article about ocamlp3l for the ReScience 10 years reproducibility challenge
Updated -
Updated
-
Updated
-
-
STEFF Laurent / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
SIVASANKARAN Sunit / thesis_presentation
MIT LicenseUpdated -
LAWALL Julia / liliput
OtherInferring the structure of Linux lists, based on the paper The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel by Nic Volanschi and Julia Lawall at ASE 2020
Updated -
-
A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.
Updated -
Updated
-
panama / Blaster
MIT LicenseUpdated -
panama / Blaster
MIT LicenseUpdated -
Pierre Neyron / oar
GNU General Public License v2.0 or laterUpdated -
Benjamin Girault / grasp
CeCILL Free Software License Agreement v2.1Matlab / Octave toolbox for processing and visualization of graphs and graph signals.
Updated -
Welcome to Hintikka's world! This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them.
Updated -
lcourtes-phd / edcc-2006-redone
GNU General Public License v3.0 onlyEDCC 2006 paper redone for the Ten Years Reproducibility Challenge.
Updated -
Updated
-