0xd34df00d's repositories
leechcraft
LeechCraft is a free open source cross-platform modular internet-client. LeechCraft allows to browse the web, read RSS/Atom feeds, download files via BitTorrent, FTP, HTTP and DC, automatically download, play or stream podcasts (and other media files) and much more.
inline-asm
Inline Assembly code in ur Haskell!
fizzbuzz-i
FizzBuzz, formally verified, provably correct
you-dont-know-cpp
You don't know C++
binary-generic-combinators
Combinators and utilities to make Generic-based deriving of Binary easier and more expressive
cmake-syntax
A library for parsing CMake syntax
counting-chars
Small and stupid benchmarking of ways of counting a char in a big string
edit-distance-linear
Levenshtein edit distance in linear memory (also turns out to be faster than C++)
enum-subset-generate
Generate an ADT with a subset of constructors of another ADT, along with mapping functions
monad-metrics-extensible
Type-safe and extensible metrics monad over ekg
idris2-indexed-vect
Indexed vectors for Idris!
0xd34df00d-gentoo-overlay
Some Gentoo ebuilds for my own use
agda-install
My little stack.yaml file to install Agda with the stackage LTS I'm using for most of the rest of my stuff
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
edit-distance-linear-bench
The different implementations and benchmarks for the edit-distance linear algorithms
idris2-safe-buffers
Safe (length-aware) wrappers around `Data.Buffer`
qxmpp
Cross-platform C++ XMPP client and server library