agda-mode for Visual Studio Code in Agda

My advent of code solutions (don't expect much)

Just go to my profile

Plan appointments with other people, like lettucemeet but bad(ass).

Source code for jobbel.nl

A simple imperative programming language with a BASIC-inspired syntax

Service bot for the ARNweb discord

WIP The Little Typer's Pie interpreter in Typescript

Another programming language, but this one does less than any other.

Lisp interpreter in Haskell, because I wanted to learn parser combinators

My take on the classic arcade game in C (i had no idea)

A simple lisp interpreter written in objective-c

A collection of my ti-basic programs

Very professional compiler for ti-basic