0xd34df00d

you-dont-know-cpp. and neither do I

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.

refinedt. Refinement types + dependent types = ❤️

inline-asm. Inline Assembly code in ur Haskell!

IAmMad. Inlining Automagical Metaprogramming Analytical Differentiation

fizzbuzz-i. FizzBuzz, formally verified, provably correct

hwc. wc implemented in Haskell

coformat. Produce a clang-format file from some sample source code

hsqoi. Haskell implementation of the QOI image format

can-i-haz. Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError

cohabr. Haskell

necogda. Agda for neovim

lcss. Web site for LC

Qross. Qross is a Qt-only fork of Kross, the KDE scripting framework, for the LeechCraft project

sorts. Provably correct merge sort

binary-generic-combinators. Combinators and utilities to make Generic-based deriving of Binary easier and more expressive

cppfilt. Haskell library to demangle C++ function names

counting-chars. Small and stupid benchmarking of ways of counting a char in a big string

enum-subset-generate. Generate an ADT with a subset of constructors of another ADT, along with mapping functions

edit-distance-linear. Levenshtein edit distance in linear memory (also turns out to be faster than C++)

monad-metrics-extensible. Type-safe and extensible metrics monad over ekg

cmake-syntax. A library for parsing CMake syntax

lc-sync-server. Synchronization server for the LeechCraft project.

hastefm. Fetch some additional artist info from Last.FM (as a part of LC)

gennl. Generating non-linear autoregression models

lcupackages. Userspace packages for LeechCraft — script extensions, themes, data and stuff.

hencil. Pencil falling simulated.

muzak. Free as in "free monads"

lcsynctest. Simple client for LC sync stuff.

idris2-indexed-vect. Indexed vectors for Idris!

counting-chars-ghc-simd. What would GHC SIMD primops allow me to do?

morlock. Monadic lock-free algorithms representation and analysis

pgidr. PostgreSQL Idris bindings

reading-programming-in-mltt. Notes for the "Programming in Martin-Löf's Type Theory" book

regex-memo-lat. Haskell

naive-nfa-runner. Haskell

hrt. Haskell ray T