Pinned Repositories
hawnzug's Repositories
hawnzug/polycheck
hawnzug/dependent
A simple dependent type language
hawnzug/cs383
CS383 project in Haskell
hawnzug/blog
Source code for my blog https://hawnzug.me
hawnzug/dotfiles
hawnzug/katalog
Datalog implementation in Haskell
hawnzug/mips-compiler
hawnzug/dot-emacs
My emacs configuration
hawnzug/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.
hawnzug/gmachine
hawnzug/hawnzug.github.io
hawnzug/holo-layer
HoloLayer is a multimedia layer plugin designed specifically for Emacs
hawnzug/IFLat
hawnzug/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
hawnzug/loc
Count lines of code quickly.
hawnzug/mal
hawnzug/plt
A path to Programming Language Theory enlightenment
hawnzug/portal
Portal of SJTUG
hawnzug/simple-type-infer
hawnzug/smart
hawnzug/termite
A keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.
hawnzug/weather-rs
Weather app for the terminal. Rust version :)
hawnzug/wunderist
A command line tool to play with your Wunderlist, written in Rust