Explore projects

THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications

Public repository for the code used in HyFN experiments

Collection of CMake modules that can be shared among projects

Library for tokamak meshing

Collection of CMake modules that can be shared among projects

Webapp for sebastien-forestier/NIPS2016 experiment

An LR(1) parser generator for OCaml.

Database of computations of discrete logarithms

Gossip for the AIT Middleware project

This platform gives tools to manipulate Sanskrit data

SYsTème embArqué faible consommation à mémoiRE persistante

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

Data and papers on Hardware induced fault attacks