Pinned Repositories
can-i-haz
Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
coformat
Produce a clang-format file from some sample source code
fizzbuzz-i
FizzBuzz, formally verified, provably correct
hsqoi
Haskell implementation of the QOI image format
hwc
wc implemented in Haskell
IAmMad
Inlining Automagical Metaprogramming Analytical Differentiation
inline-asm
Inline Assembly code in ur Haskell!
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 = ❤️
you-dont-know-cpp
You don't know C++
0xd34df00d's Repositories
0xd34df00d/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.
0xd34df00d/inline-asm
Inline Assembly code in ur Haskell!
0xd34df00d/you-dont-know-cpp
You don't know C++
0xd34df00d/fizzbuzz-i
FizzBuzz, formally verified, provably correct
0xd34df00d/hsqoi
Haskell implementation of the QOI image format
0xd34df00d/can-i-haz
Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
0xd34df00d/necogda
Agda for neovim
0xd34df00d/lcss
Web site for LC
0xd34df00d/binary-generic-combinators
Combinators and utilities to make Generic-based deriving of Binary easier and more expressive
0xd34df00d/cmake-syntax
A library for parsing CMake syntax
0xd34df00d/counting-chars
Small and stupid benchmarking of ways of counting a char in a big string
0xd34df00d/edit-distance-linear
Levenshtein edit distance in linear memory (also turns out to be faster than C++)
0xd34df00d/enum-subset-generate
Generate an ADT with a subset of constructors of another ADT, along with mapping functions
0xd34df00d/idris2-indexed-vect
Indexed vectors for Idris!
0xd34df00d/naive-nfa-runner
0xd34df00d/pgidr
PostgreSQL Idris bindings
0xd34df00d/regex-memo-lat
0xd34df00d/0xd34df00d-gentoo-overlay
Some Gentoo ebuilds for my own use
0xd34df00d/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
0xd34df00d/blog-comments
Please feel free to comment on my blog
0xd34df00d/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
0xd34df00d/edit-distance-linear-bench
The different implementations and benchmarks for the edit-distance linear algorithms
0xd34df00d/hakyll
A static website compiler library in Haskell
0xd34df00d/Idris2
A purely functional programming language with first class types
0xd34df00d/idris2-pack
0xd34df00d/idris2-prim-axioms
0xd34df00d/idris2-safe-buffers
Safe (length-aware) wrappers around `Data.Buffer`
0xd34df00d/leechcraft-overlay
0xd34df00d/vim-agda-async
0xd34df00d/xmod-inlining