I work as a software engineer @Adalyon. Broadly, I'm interested writing correct software. As a hobby I do recreational mathematics, programming language theory and rock climbing.
- fp, A point-free programming language.
- vl, Tool for writing shell scripts in TypeScript.
- sp, CLI tool for interacting with spotify.
- lines, CLI tool for generating line counts of a project.
- AdventOfCode is the worlds largest programming competition, taking place every year during december. 🎄
- nns, hello world machine learning examples
- gists, my github gists as a single repository.
- Myy, a lambda calculus interpreter.
- js-quiz, A website for learning Javascript.
- oluet-api, Graphql API for querying all kinds of beer and other drinks!
- nix-darwin configurations for my personal/work macbooks.
- Personal website.