Pinned Repositories
Aleatory.js
A discrete random variable library in Javascript.
bernays
Visual interactive proof assistant for propositional logic
eclair
Éclair - Parsing with derivatives and zippers
haskell-distribution
Haskell package for finite discrete probability distributions.
informatique-gymnase
polymorph-library
Library behind the Polymorph password generator.
qr.js
QR code generator
scalatomic
Easy to use (and hard to misuse) interface for atomic variables.
scat
Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
zipterpreter
A Scala interpreter for lambda calculus, using Huet's Zipper
redelmann's Repositories
redelmann/scat
Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
redelmann/eclair
Éclair - Parsing with derivatives and zippers
redelmann/haskell-distribution
Haskell package for finite discrete probability distributions.
redelmann/scalatomic
Easy to use (and hard to misuse) interface for atomic variables.
redelmann/Aleatory.js
A discrete random variable library in Javascript.
redelmann/zipterpreter
A Scala interpreter for lambda calculus, using Huet's Zipper
redelmann/bernays
Visual interactive proof assistant for propositional logic
redelmann/qr.js
QR code generator
redelmann/informatique-gymnase
redelmann/polymorph-library
Library behind the Polymorph password generator.
redelmann/bip-in-haskell
redelmann/gyminf-informatique-theorique
Notes de cours et exercices pour le cours de "Fondamentaux formels / Informatique Théorique" du programme GymInf en français
redelmann/keras
Deep Learning for humans
redelmann/ninth-age-xml
redelmann/QR-codes
redelmann/awesome-scala
A community driven list of useful Scala libraries, frameworks and software.
redelmann/cafesat
The CafeSat SMT solver for Scala
redelmann/deepmath
Experiments towards neural network theorem proving
redelmann/leon
The Leon system for verification, synthesis, and more.
redelmann/Logic-Circuit-Simulator
A logic circuit simulator for educational purposes
redelmann/navigable-rulebook
redelmann/oc-2021
OC informatique
redelmann/prop-logic
redelmann/prophet
redelmann/pytamaro
Educational library for Python to teach programming using graphics
redelmann/repeater-damage-output
redelmann/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
redelmann/scastie
An interactive playground for Scala
redelmann/sphinx
Main repository for the Sphinx documentation builder
redelmann/sphinx-book-theme
A lightweight book theme built off of the pydata sphinx theme