lambdatotoro

collatz-conjecture

Haskell 0 0

A small Haskell program using DP to numerically test the Collatz Conjecture

Updated 2025-08-06 12:17:21 +02:00

haskell-playground

Haskell 0 0

A place for various small or trivial Haskell projects and code sniplets.

Updated 2025-08-06 12:16:06 +02:00

hA258107

Haskell 0 0

Toy program for a parallel look into Integer sequence A258107

Updated 2025-08-06 12:14:32 +02:00

lambda-beaver

Haskell 0 0

A Haskell program to analyse some Turing Machines

Updated 2025-08-06 12:13:29 +02:00

presburger-prover

Haskell 0 0

A small, modest theorem prover

Updated 2025-08-06 12:08:36 +02:00

game-of-life-in-D

D 0 0

A simple version of conways game of life for the command line, written in the D programming language.

Updated 2025-08-06 12:05:28 +02:00

LambdaList

Haskell 0 0

A small haskell program to manage a tally sheet.

Updated 2025-08-06 11:59:39 +02:00

AOC2023

Haskell 0 0

Advent of Code 2023

Updated 2025-08-06 11:48:08 +02:00

wod-dice-roller

Python 0 0

Discord bot that rolls d10s for World of Darkness games just the way I like it.

Updated 2025-08-06 11:45:18 +02:00

Publications

0 0

My academic publications

Updated 2025-08-06 11:41:50 +02:00

Talks

TeX 0 0

All my talks that are more than just Science Slams.

Updated 2025-08-06 11:37:05 +02:00

ScienceSlams

TeX 0 0

My science slam slides, for easier distribution and code checking.

Updated 2025-08-06 11:35:47 +02:00

goedelT

Haskell 0 0

An attempt at implementing Gödel's T in Haskell

Updated 2025-08-06 11:34:01 +02:00