Static typechecker for Erlang

Interactive Coq Proofs in Vim

agda-mode for neovim

Agda code used in my Bachelor Thesis called "Calculating and Verifying Abstract Machines".

Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)

An introduction to programming language theory in Agda

Agda is a dependently typed programming language / interactive theorem prover.

Git auf deutsch

📢 Various README templates & tips on writing high-quality documentation that people want to read.

A framework that allows developers to cobble together a better UI for their own WPF applications with minimal effort.