Henrik's Projects
Advent of Code solutions in Clojure (mostly)
Simple notes for Emacs with an efficient file-naming scheme
Config files for my GitHub profile.
A small tool to evaluate and prove arguments in formal logic.
Common Lisp port of Logicky. Evaluate and prove arguments in different formal logics.
Discord bot for the party game Mafia (or Werewolves).
Rudimentary Roam replica with Org-mode
Org mode folding tool to show first paragraphs and hide the rest.
Shitty Lisp in Python
My solutions, working through Structure and Interpretation of Computer Programs. Using Chez Scheme (R6RS) in Org Babel.
A parlor game about bargaining and broken promises.
Source for textbook https://github.com/jweisber/vip