julmue

ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

abap_scheme

ABAP Scheme

nasm

A cross-platform x86 assembler with an Intel-like syntax

stable-diffusion-webui

Stable Diffusion web UI

dhall-recursive-adt

Convert recursive ADTs between Dhall and Haskell

imp

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

LTL

A DSL for Linear Temporal Logic + Interface with Z3 for solving

python-lenses

A python lens library for manipulating deeply nested immutable structures

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

vim_ahk

Setting file to emulate vim with AutoHotkey

bug.n

Tiling Window Manager for Windows

PSBookmark

PowerShell Location bookmarks for easier and simple navigation

category-theory-programmers

Category theory in the context of (functional) programming

plt

Programming Language Theory λΠ

articles

Miscellaneous articles. The readme is the table of contents.

ABAP

ABAP Code sample

ABAPDesignPattern

abapGit

Git client for ABAP

ABAP-OOP-Library

ABAP Object-oriented programming Library

language-lua

Lua parser and pretty-printer

Haskell-Morte-Library

A bare-bones calculus-of-constructions

MiniFeldspar

snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Spock

Another Haskell web framework for rapid development

howerpoint

type-theory-study-group

Resources for the online Type Theory Study Group

pcf

A small compiler for PCF

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

protolude

A sensible starting Prelude template.