ruicc/type-level-functions
Type level functions samples using GHC7.8
Developer Profile
ruicc
Discovered public repositories for ruicc in the GitHub catalog.
ruicc/yesod-minimal
A tiny, single-file yesod app that can be used as a base for reproducing bugs
ruicc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
ruicc/haxe-monad
Monad instances in haxe.
ruicc/dotfiles
dotfiles
ruicc/haxe-csv-parser
Public repository.
ruicc/haxe-php-test
Public repository.
ruicc/haxe-macro-test
文字列から対象のクラスを返す関数をマクロで生成
ruicc/HereDoc
Here Documents for Haskell
ruicc/dotvim
Public repository.
ruicc/GPU-lifegame
lifegame using gpu(cuda)
ruicc/repa-lifegame
lifegame using repa
ruicc/happiage
project to develop web application for wedding after-party by Haskell