francoisschwarzentruber

prooffold

Another attempt for visualizing proofs

tikzzz

A tiny tikzzz editor in the browser

abcd

A simple ASCII format to represent music scores, and a music score editor

imagesforwikipedia

Images for wikipedia, mainly theoretic computer science but also music!

fft

Pedagogical tool for explaning Fast Fourier Transform

ascii2img

This small program converts an ascii text file in an 2d image of an hypothetical adventure video game

proofscroll

A prototype for displaying proofs on Smartphones

quiz

Quiz builder + some quiz (in logic and probability theory)

tools-for-teaching-logic

A list of tools for teaching logic

circlengine

A Javascript very tiny game engine and a fantasy console where every entity is a circle!

cmapf-gui

journeyonthekleinbottle

point-and-click-builder

This tool enables to quickly create a point and click

scrollsvg

Make animated SVG when scrolling

videojs

Some videos coded in JS

algx

Rust implementation of Knuth's Algorithm X

bellmansworld

A very simple playground to experiment RL algorithms

fsttcs2022

graphdom

howto-deploy-a-sveltekit-application

A page to explain how to deploy a Sveltekit application

learnhebrew

lefthand-arrangements

Arrangements for left-hand piano

negociationgames

Computing the best efficient offers in preplay negotiation games

p2g

A simple tool to convert a proof into a graph

p5anim

Simple animation editor using p5

randomflowersandbuildings

Artistic project that generates random flowers and buildings

rikudo_project

shootthemupadventure

A small shoot them up

simpleanimation

textmapeditor

A <22kB Web Component Text Editor with Rectangular Selection