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/catworld
francoisschwarzentruber/openmusicwriter
Open Musicwriter is a software to write music scores. The application is written in Java/Swing.
francoisschwarzentruber/schwarz-musicwriter
A music score editor written in Delphi.
francoisschwarzentruber/chinesedecomposition
Code source of a web app that shows with pictures how chinese characters are decomposed.
francoisschwarzentruber/musicwriterpad
Musicwriterpad is a software (in constructionà to help to write music in Lilypond.
francoisschwarzentruber/graphprog-java
This is a program in JAVA written in 2008 that enables to program by moving blocks (like Scratch).
francoisschwarzentruber/lotrecscheme
This software implements a generic tableau method written in 2011.
francoisschwarzentruber/panda
Panda is a JAVA software for natural deduction.
francoisschwarzentruber/satoulouse
SAToulouse is a JAVA graphical user interface for the SAT solver SAT4J.