Pinned Repositories
7-chloro-4-nitrobenzofurazan
An NBD Server Library written in Common Lisp
cl-fuckyou
FastCGI Server for Common Lisp
cl-geoip
Wrapper around libGeoIP
DampFnudeL
Deflate in Coq
hrtf-experiments
Using the MIT-HRTF-Database (and maybe others)
Pheap.v
Implementation of a Pairing Heap in Coq
rapunzel
RAPid UNlimited Zwergen Escape Levels
SirTET
An Inverse Tetris
tddp
Trivial Data Deduplication
uxul-world
Simple Jump And Run written in Common Lisp
dasuxullebt's Repositories
dasuxullebt/uxul-world
Simple Jump And Run written in Common Lisp
dasuxullebt/7-chloro-4-nitrobenzofurazan
An NBD Server Library written in Common Lisp
dasuxullebt/DampFnudeL
Deflate in Coq
dasuxullebt/hrtf-experiments
Using the MIT-HRTF-Database (and maybe others)
dasuxullebt/tddp
Trivial Data Deduplication
dasuxullebt/cl-geoip
Wrapper around libGeoIP
dasuxullebt/Pheap.v
Implementation of a Pairing Heap in Coq
dasuxullebt/rapunzel
RAPid UNlimited Zwergen Escape Levels
dasuxullebt/SirTET
An Inverse Tetris
dasuxullebt/cl-fuckyou
FastCGI Server for Common Lisp
dasuxullebt/cl-ya-bmp
(Yet another) simple (and slow) library for reading and manipulating BMP-Files.
dasuxullebt/cmdonbell
A wrapper to execute shell commands on terminal bell.
dasuxullebt/collatzfs
Collatz File System
dasuxullebt/dicke-kardinaele
Große Kardinalzahlen Vorlesungsskript Donder LMU München WS 2012/13
dasuxullebt/inflate.hs
An implementation of Inflate (and gunzip) in Haskell, mainly for the purpose of understanding Haskell and Deflate
dasuxullebt/nixpkgs
Nix Packages collection
dasuxullebt/quicksort.v
Quicksort in Coq
dasuxullebt/separat0r
Sort files into buckets
dasuxullebt/varln
Variant Symlinks via FUSE
dasuxullebt/vst.nix
Quick and Dirty Nix Packages for the Verified Software Toolkit