lambdaTotoro
λΠpunk, queer ⚠ This account kills fascists! ⚠ Fancies Haskell, Types, Logic, Mathematics and alike.
Bielefeld, Germany
Pinned Repositories
nativeauthenticator
JupyterHub-native User Authenticator
AOC2023
Advent of Code 2023
goedelT
An attempt at implementing Gödel's T in Haskell
LambdaList
A small haskell program to manage a tally sheet.
nativeauthenticator
JupyterHub-native user authenticator
ScienceSlams
My science slam slides, for easier distribution and code checking.
SMBC-conception-connection
The program shown in SMBC 2922
Talks
All my talks that are more than just Science Slams.
MMT
The MMT Language and System
lambdaTotoro's Repositories
lambdaTotoro/SMBC-conception-connection
The program shown in SMBC 2922
lambdaTotoro/goedelT
An attempt at implementing Gödel's T in Haskell
lambdaTotoro/AOC2023
Advent of Code 2023
lambdaTotoro/LambdaList
A small haskell program to manage a tally sheet.
lambdaTotoro/nativeauthenticator
JupyterHub-native user authenticator
lambdaTotoro/ScienceSlams
My science slam slides, for easier distribution and code checking.
lambdaTotoro/Talks
All my talks that are more than just Science Slams.
lambdaTotoro/ArtBots
Some tiny programs that make art.
lambdaTotoro/CollatzConjecture
A small Haskell program using DP to numerically test the Collatz Conjecture
lambdaTotoro/docs.kwarc.info
https://docs.kwarc.info/
lambdaTotoro/Game-of-Life--D-
A simple version of conways game of life for the command line, written in the D programming language.
lambdaTotoro/hA258107
Toy program for a parallel look into Integer sequence A258107
lambdaTotoro/Haskell-playground
A place for various small or trivial Haskell projects and code sniplets.
lambdaTotoro/hunter-dice-roller
Dice roller discord bot for Hunter The Reckoning
lambdaTotoro/PyPDF2
A pure-python PDF library capable of splitting, merging, cropping, and transforming the pages of PDF files
lambdaTotoro/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
lambdaTotoro/statement-on-lambdaconf.github.io
lambdaTotoro/statMusic
Statistical music analysis
lambdaTotoro/wai-handler-fastcgi
Probably short-lived Fork / Restauration of the Haskell Handler for FastCGI