scat. Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
50eclair. Éclair - Parsing with derivatives and zippers
11haskell-distribution. Haskell package for finite discrete probability distributions.
10scalatomic. Easy to use (and hard to misuse) interface for atomic variables.
9zipterpreter. A Scala interpreter for lambda calculus, using Huet's Zipper
7Aleatory.js. A discrete random variable library in Javascript.
7bernays. Visual interactive proof assistant for propositional logic
5qr.js. QR code generator
4informatique-gymnase. HTML
2gyminf-informatique-theorique. Notes de cours et exercices pour le cours de "Fondamentaux formels / Informatique Théorique" du programme GymInf en français
2ninth-age-xml. Python
1keras. Deep Learning for humans
1bip-in-haskell. Haskell
1bip-in-scala. Scala
1polymorph-library. Library behind the Polymorph password generator.
1nlp-haskell. Code developed during the Introduction to Natural Language Processing course at EPFL.
1QR-codes. Python
1