Discover @cutsea110 Open Source projects

@cutsea110

cutsea110

Stars
91
Global Rank 222,433 (Top 8 %)
Followers 28
Following 12
Registered almost 14 years ago
Most used languages

Haskell
89.7 %

C#
5.1 %

Agda 2.6 %

Rust
2.6 %
Location 🇯🇵 Japan
Country Total Rank 4,674
Country Ranking

Agda 13

Haskell
38

Rust
456

C#
1,946

simpledb

Database Design and Implementation: Second Edition

metadata

metadata library

Kestrel

Kestrel is a WIKI clone written in Haskell

servant-csharp

Generate servant client library for C#

birds-of-paradise

yet another SK combinator library

stable-marriage

library around stable marriage algorithms

thumbnail

generate thumbnail image

heredoc

heredocument library

magma

magma algebraic library

tut

cross-slide

slide's for cross

fun-of-phantom-type

read fun of phantom type

blog

MyXMonad

servant-example-counter

data-util

utilities for handle data

aop

template-csharp

glut-test

testing freeglut3

LinqToDBCrudOperation

pcap-enumerator

Convert a pcap into an enumerator

BCoPL

try exercise by Agda

monadic-recursion-schemes

Recursion Schemes for Monadic version.

Flip

inspired from flip title

enumerator-test

test code to excercise for enumerator

moji

putStrLn some characters.

servant-sample-book

servant-example-echo

slitherlink-solver

slitherlink solver using minisat

BISocie

Be Independent Society

shrink

shrink photos to fit for my photo frame

test-cyclic-import

test for cyclic module import

docs

yesod-pnotify

yet another getMessage/setMessage using pnotify jquery plugins

regexp-play

study regexp-play.pdf

gl-tut

OpenGL tutorial ref. http://www.wakayama-u.ac.jp/~tokoi/opengl/libglut.html

ifl

Lambda

lambda calculus sample (inspired from http://d.hatena.ne.jp/syamino/20120524)

tsr-test