cutsea110/kabu
download stock data from k-db.com
Developer Profile
cutsea110
Discovered public repositories for cutsea110 in the GitHub catalog.
cutsea110/sakura
reserve shell for sakura hospital
cutsea110/sigma
Dependently Sum type on Agda
cutsea110/Printf
Agda Printf implementation demo
cutsea110/advent-cal-2013
Advent Calendar 2013
cutsea110/agda-tutorial
agda tutorial
cutsea110/class
class on agda
cutsea110/kono-lecture
agda lecture
cutsea110/EasySearch
depth search and breads search tutorial
cutsea110/mime-mail-test
sample program to send mail with attached file
cutsea110/encrypt-qnighy
encription proposed by qnighy on twitter (quiz)
cutsea110/rabbitmq-test
test code with rabbitmq
cutsea110/gdbus-demo
dbus sample code
cutsea110/rabbitmq-tutorials
Tutorials for using RabbitMQ in various ways
cutsea110/magma
magma algebraic library
cutsea110/dtpa
study on Dependently Typed Programming in Agda
cutsea110/vocal
vocal minority
cutsea110/seitoku_batch
batch script to sync user on seitoku soubun systems
cutsea110/owl-auth
API for owl authentication
cutsea110/owl-api
api library for owl
cutsea110/rsa-test
test code how to use rsa
cutsea110/utf8-test
output a utf8 encoded bytestring
cutsea110/Owl
Owl authentication Service
cutsea110/Bootstrap-IE6
IE6 fixes for Twitter Bootstrap v2
cutsea110/yesod-csv-tutorial
csv download sample
cutsea110/shakespeare
Haml-like template files that are compile-time checked
cutsea110/yesod
A RESTful Haskell web framework built on WAI.
cutsea110/yesod-pnotify
yet another getMessage/setMessage using pnotify jquery plugins
cutsea110/ExitFailure139
reproduce error
cutsea110/postgresql-test
Test long data handling on postgresql
cutsea110/fun-of-phantom-type
read fun of phantom type
cutsea110/test-cyclic-import
test for cyclic module import
cutsea110/metadata
metadata library
cutsea110/blog
my blog system
cutsea110/gl-tut
OpenGL tutorial ref. http://www.wakayama-u.ac.jp/~tokoi/opengl/libglut.html
cutsea110/glut-test
testing freeglut3
cutsea110/regexp-play
study regexp-play.pdf
cutsea110/Lambda
lambda calculus sample (inspired from http://d.hatena.ne.jp/syamino/20120524)
cutsea110/Flip
inspired from flip title
cutsea110/docs
documents
cutsea110/typeinfer
type inference in OCaml
cutsea110/tsr-test
for tsuru test
cutsea110/shrink
shrink photos to fit for my photo frame
cutsea110/MyXMonad
Public repository.
cutsea110/cross-slide
slide's for cross
cutsea110/tut
yesod tutorial
cutsea110/yesod-admin-crud
Admin CRUD interface for the yesod web framework
cutsea110/yesod-admin
An yesod based admin for persistent objects
cutsea110/thumbnail
generate thumbnail image
cutsea110/data-util
utilities for handle data