Software

Spreading the kindness of logic

Demonstration of DPLL algorithm

The tool computes a solution for a Boolean formula if it is satisfiable.

Panda

Pedagogical Assistant for Natural Deduction for All

Pravda

Pedagogical Tool for a various kind of Proof systems.

LoTREC

a pedagogical software for reasoning in modal logics via tableau methods

Hintikka's World

Hintikka's World is a pedagogical tool that explains models for reasoning about higher-order knowledge (an agent knows that another one knows that...). The tool was presented at IJCAI 2018 and 2019 and used in tutorials at IJCAI 2018, 2019 and AAMAS 2019.

A solver for drawing Euler diagrams

We propose a tool for drawing Euler diagrams from a specification written in the logic RCC8.

Reasoning about first-order statements about real numbers

Website that explains the quantification elimination for the theory of reals.
Theoretical computer science

Non-deterministic Turing machine simulator

This simulator takes as an input a description of a non-deterministic Turing machine, and an input word. It then shows the computation tree of the machine starting with the initial configuration where the tape contains that input word.

From recursive functions to Turing machines

A compiler from recursive functions to Turing machines

Catolog of reductions

The website depicts - à la google translate - many reductions.

Hash tables

Demonstration of the use of hash tables.

Grover's algorithm

Demonstration of the Grover's algorithm. Qbits are depicted by cats.

Constraint graphs (aka constraint logic)

This computational model enables to easily prove PSPACE-hardness for some games. Steps of computation consist in fliping an edge while keeping an in-flow of 2 in each vertex.

Attempt for music score editor

Schwarz Musicwriter, a score editor
Musicdraft, an attempt of a software to write music by hands

Misc.

Chinese character decomposition
A 3D game in Python/pygame
Javascheme, a interpreter of the language Scheme you can embed in a Javascript program
Statmap, a tool for statistics on maps (used for the statistics of this website)
A Bibtex to plain text converter (useful for using bibtex with MS Word or LibreOffice.org)
A small small software for drawing knots
The crazy piano: a tool for listening different temperaments/scales/tunings
gifedit: a tool for creating gif animated images

Deprecated/useless projects

Exobank, a database of exercices (for installation on your own server: Sources)
LotrecScheme, a (temptative) pedagogical software for tableau methods
Plaza's world, a pedagogical software for epistemic modal logic and public announcement logic
Belief revision and arbitrary public announcements
Pravda, an online pedagogical software for natural deduction
SATRennesPA, an online user-friendly tool for the satisfiability problem for Classical Propositional Logic
SAToulouse, a easy-to-use software (with a GUI) to check satisfiability for Classical Propositional Logic