Boite à outils : Informatique théorique

Logisim Logisim est un logiciel open-source permettant de concevoir et de simuler des circuits logiques. Necessite Java ou OpenJDK (linux)

http://www.patricklecoq.fr/convert/cnv_bin.php Un convertisseur binaire/décimal/hexa etc ...

✔️ ❤️ ★ https://unicode-table.com/fr/ Table de caractères Unicode

https://www-fourier.univ-grenoble-alpes.fr/~parisse/xcasfr.html Logiciel de calcul formel