Spreading the kindness of logic


SATRennesPA, an online user-friendly tool for the satisfiability problem for Classical Propositional Logic
Demonstration of DPLL algorithm
SAToulouse, a easy-to-use software (with a GUI) to check satisfiability for Classical Propositional Logic

Natural deduction

Pravda, an online pedagogical software for natural deduction
Panda, a pedagogical software for natural deduction

Modal logic

LoTREC, a pedagogical software for tableau methods
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


A solver for drawing Euler diagrams

Attempt for music score editor

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


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)
Exobank, a database of exercices (for installation on your own server: Sources)
A Bibtex to plain text converter (useful for using bibtex with MS Word or
A small small software for drawing knots
A compiler from recursive functions to Turing machines
Hear the Pythagorean / natural / well-tempered music scale