Pilote PC — Outil d'aide au calcul de la prestation compensatoire (divorce)

Strix is a tool for reactive synthesis of controllers from LTL specifications.

Blazingly fast synthesis of LTL formulas!

A program for making zooming slides in figma.

DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the exa…

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks

Search a relational database (e.g. DBLP) using a regular expression on paths from the given vertex.

BRD Community Gaming Legislation

Code source de la taxe d'habitation 2017

Remora, ou comment contrôler vos chauffages électriques par des requêtes http

GVA Dictator Alert: tracking dictator's jets landing and leaving Geneva Airport

CUDA Open Source miner project, for most nvidia cards

Automatically exported from code.google.com/p/sse2neon

Installing ROS on OS X.

Dynamixel alternative firmware

Stamina: STabilisation Monoids IN Automata theory

hmdp is a C++ library and tools for solving Markov Decision Processes (MDPs) with hybrid discrete and/or continuous state-spaces.

Automata with Counters, Monoids and Equivalence

Le couteau suisse numérique des sections du Comité National.

A GAVS plugin to solve asynchronous distributed games of depth 1