Stars
NixOS configuration for my personal computers
Nix build/flash tool for a Keyboardio Model 100/01 or ZSA Technology Labs Ergodox EZ or Moonlander keyboard
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
An Emacs framework for the stubborn martian hacker
Implementing Quake 3 in Haskell & Vulkan
Efficient Haskell Arrays featuring Parallel computation
A heavily customized layout for my Ergodox EZ keyboard
Link to preprints for ICFP'17 and colocated events
A DSL for deep neural networks, supporting Caffe and Torch
Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
Fish shell like syntax highlighting for Zsh.
Haskell papers optimized for my e-reader.
"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
An optimized general monad transformer for streaming applications, with a simple prelude of functions
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.