pirapira/translate
ATS言語に関する文書の日本語訳置き場
Discovered public repositories for pirapira in the GitHub catalog.
ATS言語に関する文書の日本語訳置き場
A simple pair of rust programs that writes to and read from a file.
Public repository.
kissdb ported to rust
Exercises with crowd-sourced code reviews. The gem repo is at http://github.com/kytrinyx/exercism
PIrapira port management daemon.
a fork of http://js-graph-it.sourceforge.net/
Public repository.
Public repository.
a todo manager
will provide binary htodo
diary
neta notes
Ruby wrapper for the Mt. Gox Trade API
taocp_in_coq
kietter
combinatorial game
surreal numbers in Coq
Left-leaning red-black trees
Gohantabeyo is a web site where people can make a wish whom they want to eat out with. If the other makes a similar wish, their wishes are told to both.
A combinator library for asynchronous waitfree computation among forkIO threads.
Public repository.
Public repository.
Binary search tree based on a logarithmic method
Public repository.
undecidability club's web page
Public repository.
Public repository.
Network server library to handle over 10,000 connections in Haskell
TODO waits for TODO on Tracks, a GTD(TM) web application, built with Ruby on Rails
An auth module to provide drop-in session capability with Happstack.
A wiki using HAppS, pandoc, and git
script.aculo.us is an open-source JavaScript framework for visual effects and interface behaviours.
social writing tool
pieces: a fork from instiki.