leinfink

Henrik's repositories

Discord bot for the party game Mafia (or Werewolves).

Language:PythonMIT2 10

A parlor game about bargaining and broken promises.

Language:PythonAGPL-3.0200

Rudimentary Roam replica with Org-mode

Language:Emacs LispGPL-3.0100

Org mode folding tool to show first paragraphs and hide the rest.

Language:Emacs LispGPL-3.0100

My solutions, working through Structure and Interpretation of Computer Programs. Using Chez Scheme (R6RS) in Org Babel.

Language:Scheme100

Source for textbook https://github.com/jweisber/vip

Language:TeX100

Advent of Code solutions in Clojure (mostly)

Language:ClojureMIT000

Simple notes for Emacs with an efficient file-naming scheme

Language:Emacs LispGPL-3.0000

A small tool to evaluate and prove arguments in formal logic.

Language:PythonMIT010

Common Lisp port of Logicky. Evaluate and prove arguments in different formal logics.

Language:Common LispBSD-3-Clause000

Language:Clojure010

Config files for my GitHub profile.

010

Shitty Lisp in Python

Language:Python010