raichoo

31C3Slides. 31C3 Slides

strangegroup-idris-June2014. Code I presented in a demo at Strange Group

ghcid-neovim. `ghcid` implemented in `neovim`

haskell-vim. Custom Haskell Vimscripts

rcfiles. Some of my RC files

TheFreeAndTheFurious. LambdaWorld Cadiz & Codemesh London 2015

IdrisCSVExample. CSV Example using Type Providers

SnakeWorkshop. A little Haskell Workshop Project

MayContainDTracesOfFreeBSD.

unibi-ffpih. Vorlesung an der Universität Bielefeld

smt-vim. Vim files for SMT-LIB 2 support

sakura. Fork of the sakura terminal emulator with configurable colors

WorkingHard. Working hard to keep things lazy

Idris-dev. A Dependently Typed Functional Programming Language

fish-shell. The user-friendly command line shell.

monodark. Monodark Colorscheme for Neovim