hawnzug

polycheck

dependent

A simple dependent type language

cs383

CS383 project in Haskell

blog

Source code for my blog https://hawnzug.me

dotfiles

katalog

Datalog implementation in Haskell

mips-compiler

dot-emacs

My emacs configuration

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

gmachine

hawnzug.github.io

holo-layer

HoloLayer is a multimedia layer plugin designed specifically for Emacs

IFLat

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

loc

Count lines of code quickly.

mal

plt

A path to Programming Language Theory enlightenment

portal

Portal of SJTUG

simple-type-infer

smart

termite

A keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.

weather-rs

Weather app for the terminal. Rust version :)

wunderist

A command line tool to play with your Wunderlist, written in Rust