Explore projects

Implementation of RTE (rational type expressions) in Python

Web server for Spot

Optimized tool for parallel Bounded model-checking problem

Image dedicated to lrde/share repository tests.

This repository contains support material for THEG-English. Students should regulary git pull to assure to have the latest material.

Online application for rewriting LTL formula or translating them into automata.

PaInleSS: a Framework for Parallel SAT Solving.

Add macro to detect whether an expression is compile-time.

Metaprogramming toolbox to do blackmagic in c++17

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