Explore projects

Image dedicated to lrde/share repository tests.

repo to help with debugging a suspected git vs gitkraken problem

Student templates for SCALAIN-E

Optimized tool for parallel Bounded model-checking problem

Dockerfiles for constructing build environments for Spot

Jupiter code

Scala code for Mississippi Governor's School

Implementation of RTE (rational type expressions) in Python

Scala library containing many functions which Scala developers coming from Common Lisp will miss.

PaInleSS: a Framework for Parallel SAT Solving.