raichoo/idris-tutorial
A tutorial to the Idris Programming Language.
Developer Profile
raichoo
Discovered public repositories for raichoo in the GitHub catalog.
raichoo/agda-vim
Agda interaction in vim
raichoo/fish-shell
The user-friendly command line shell.
raichoo/raichoo.github.io
Public repository.
raichoo/molokai
Molokai color scheme for Vim
raichoo/Idris-dev
A Dependently Typed Functional Programming Language
raichoo/illumos-gate
Community developed and maintained version of the OS/Net consolidation
raichoo/SakuraCore
Public repository.