Pinned Repositories
abcd
A simple ASCII format to represent music scores, and a music score editor
fft
Pedagogical tool for explaning Fast Fourier Transform
imagesforwikipedia
Images for wikipedia, mainly theoretic computer science but also music!
prooffold
Another attempt for visualizing proofs
quantumalgowithcats
sea
Spreadsheet engine for adventures
tikzzz
A tiny tikzzz editor in the browser
hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
tableaunoir
An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweight user interface, and without coding.
zikpad
Zikpad is an online tool to easily write and play music scores mainly used for educational purposes. It guesses the rythm from the placement of the notes. The score can then be exported in the lilypond format.
francoisschwarzentruber's Repositories
francoisschwarzentruber/sea
Spreadsheet engine for adventures
francoisschwarzentruber/quantumalgowithcats
francoisschwarzentruber/asciidraw
Draw a picture from ASCIIart
francoisschwarzentruber/reductioncatalog
Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
francoisschwarzentruber/click-and-prove
francoisschwarzentruber/dpll
Demonstration of DPLL + backjumping (learning clauses)
francoisschwarzentruber/joymouse
Control your mouse pointer with a joystick (because your right hand has tendinopathy)
francoisschwarzentruber/klein
A small game where you have to depolluate the Klein's bottle
francoisschwarzentruber/skiplist
Implementation of skiplist in Python, using the metaaphor of bus lines and bus stops
francoisschwarzentruber/gifedit
A small gif editor by coding in Javascript
francoisschwarzentruber/simple3d
Simple3D wrapper of Three.js + Generated forest
francoisschwarzentruber/thecrazypiano
A small piano to test different scales (pythogorian, well-tempered)
francoisschwarzentruber/turing-machine-language
Turing machine language. A (somehow) high-level language to describe programs running on Turing machines
francoisschwarzentruber/turingmachinesimulator
Simulator of a Turing machine. It handles non-deterministic Turing machines.
francoisschwarzentruber/algo-python-agreg-mecatro
francoisschwarzentruber/algo-python-capes-maths
francoisschwarzentruber/Automata.js
A regular expression converter
francoisschwarzentruber/awesome-edtech-tools
An ongoing curated list with awesome tools and resources for instructional designers.
francoisschwarzentruber/distribute
distribute documents by email
francoisschwarzentruber/Embed2Sym
A neuro-symbolic reasoning system that can scale to a large number of raw inputs.
francoisschwarzentruber/local-search-sat
francoisschwarzentruber/M999
Le processeur débranché
francoisschwarzentruber/ods-loader
Load LibreOffice SpreadSheet files ODS in Javascript (in particular it handles the background colors of cells!)
francoisschwarzentruber/OpenDictaVoice
A voice dictation python program to do voice dictation
francoisschwarzentruber/polmc
Implementation of POL model checking (IJCAI-ECAI 2022 paper)
francoisschwarzentruber/tableaunoir
An online blackboard with fridge magnets
francoisschwarzentruber/test
francoisschwarzentruber/union-find
Demonstration of the data structure union-find
francoisschwarzentruber/web-capes
francoisschwarzentruber/webplatformer
A tiny platformer game in 64 lines of JS. Behaviors of platforms are coded in CSS.