Pinned Repositories
cautious
Keep track of warnings and errors during calculations.
chrome-shortkeys
A Chrome extension for custom keyboard shortcuts
dnscheck
A quick, declarative DNS checker to run continuously for monitoring.
dwarffs
A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
kautz
Implementation of a P2P Kautz graph network
pinky
grenade
Deep Learning in Haskell
massiv
Efficient Haskell Arrays featuring Parallel computation
validity
Validity and validity-based testing
zifter
Composable code-quality tools
CSVdB's Repositories
CSVdB/pinky
CSVdB/kautz
Implementation of a P2P Kautz graph network
CSVdB/cautious
Keep track of warnings and errors during calculations.
CSVdB/chrome-shortkeys
A Chrome extension for custom keyboard shortcuts
CSVdB/dnscheck
A quick, declarative DNS checker to run continuously for monitoring.
CSVdB/dwarffs
A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
CSVdB/fonts
CSVdB/grenade
Deep Learning in Haskell
CSVdB/grenade-examples
CSVdB/intray
CSVdB/iohk
CSVdB/massiv
Efficient Haskell Arrays featuring Parallel computation
CSVdB/nix
Nix, the purely functional package manager
CSVdB/nixops-tutorial
Tutorial for practical deployments with NixOps
CSVdB/nixos-config
CSVdB/old-smos
A semantic tree-based editor to replace Emacs Org Mode
CSVdB/P2P
CSVdB/PACT-code
CSVdB/patchelf
A small utility to modify the dynamic linker and RPATH of ELF executables
CSVdB/protocol
CSVdB/sample-code
CSVdB/scripts
My scripts
CSVdB/smos
WIP: A semantic tree-based editor to replace Emacs Org Mode for GTD
CSVdB/super-user-spark
A safe way to never worry about your beautifully configured system again
CSVdB/sydtest
A modern testing framework for Haskell with good defaults and advanced testing features.
CSVdB/tickler
WIP, ignore
CSVdB/validity
Validity and validity-based testing
CSVdB/wolf
An API-first, CLI-second, Web whenever PRM
CSVdB/workflow
CSVdB/zifter
Composable code-quality tools