julmue

stable-diffusion-webui

Stable Diffusion web UI

plt

Programming Language Theory λΠ

bug.n

Tiling Window Manager for Windows

nasm

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

learn-tt

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

abapGit

Git client for ABAP

articles

Miscellaneous articles. The readme is the table of contents.

LtuPatternFactory

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

vim_ahk

Setting file to emulate vim with AutoHotkey

Spock

Another Haskell web framework for rapid development

category-theory-programmers

Category theory in the context of (functional) programming

snap

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

protolude

A sensible starting Prelude template.

Haskell-Morte-Library

A bare-bones calculus-of-constructions

python-lenses

A python lens library for manipulating deeply nested immutable structures

type-theory-study-group

Resources for the online Type Theory Study Group

ABAP

ABAP Code sample

ABAPDesignPattern

pcf

A small compiler for PCF

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

ABAP-OOP-Library

ABAP Object-oriented programming Library

howerpoint

ministg

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

language-lua

Lua parser and pretty-printer

MiniFeldspar

PSBookmark

PowerShell Location bookmarks for easier and simple navigation

imp

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

abap_scheme

ABAP Scheme

LTL

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

dhall-recursive-adt

Convert recursive ADTs between Dhall and Haskell