13-day longest streak
-
ucond ★ PINNED
Extend cond and pcase with more flexible control flows
Emacs Lisp ★ 1 11mo agoExplain → -
polycheck ★ PINNED
No description.
Haskell ★ 17 4y agoExplain → -
dot-emacs ★ PINNED
My emacs configuration
Emacs Lisp ★ 0 18d agoExplain → -
dependent
A simple dependent type language
Haskell ★ 10 8y agoExplain → -
cs383
CS383 project in Haskell
Haskell ★ 2 8y agoExplain → -
weather-rs ⑂
Weather app for the terminal. Rust version :)
Rust ★ 1 9y agoExplain → -
katalog
Datalog implementation in Haskell
Haskell ★ 1 7y agoExplain → -
dotfiles
No description.
★ 1 6y agoExplain → -
mips-compiler
No description.
Haskell ★ 1 9y agoExplain → -
blog
Source code for my blog https://hawnzug.me
Haskell ★ 1 7y agoExplain → -
holo-layer ⑂
HoloLayer is a multimedia layer plugin designed specifically for Emacs
★ 0 2y agoExplain → -
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.
OCaml ★ 0 7y agoExplain → -
kan-extensions ⑂
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Haskell ★ 0 8y agoExplain → -
termite ⑂
A keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.
C++ ★ 0 9y agoExplain → -
plt ⑂
A path to Programming Language Theory enlightenment
CSS ★ 0 9y agoExplain → -
portal ⑂
Portal of SJTUG
CSS ★ 0 9y agoExplain → -
gmachine
No description.
Rust ★ 0 9y agoExplain → -
loc ⑂
Count lines of code quickly.
Rust ★ 0 9y agoExplain → -
wunderist
A command line tool to play with your Wunderlist, written in Rust
Rust ★ 0 9y agoExplain → -
IFLat
No description.
Haskell ★ 0 10y agoExplain → -
hawnzug.github.io
No description.
HTML ★ 0 10y agoExplain → -
smart
No description.
Python ★ 0 10y agoExplain → -
simple-type-infer
No description.
Rust ★ 0 10y agoExplain → -
mal
No description.
Rust ★ 0 10y agoExplain →
No repos match these filters.