akr

tb

manipulation tool for table: CSV, TSV, JSON, etc.

all-ruby

Run various versions of ruby command

gem-codesearch

Set up a full text code search engine for rubygems mirror

ruby-usb

libusb binding for Ruby

codegen

Coq plugin for monomorphization and C code generation

depq

Double-Ended Priority Queue

api-design-case-study-book

coq-html-escape

vcs-ann

interactive wrapper for "svn ann" and "git blame"

mphash

minimal perfect hash

htree

HTML/XML tree library

monadification

Coq plugin for monadification

pdftimestamp

pdftimestamp add a document timestamp signature for a PDF file.

ruby

The Ruby Programming Language

clean-build

tool to build Ruby from clean

damemo

My memo tool

rubygems

Library packaging and distribution for Ruby.

tarai

tarai function

codegen-doc

formatted document for Coq codegen plugin

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-curry-howard

Document to explain Coq and Curry-Howard correspondence

coq-myprint

Coq plugin to print Gallina terms (experimental)

doctree

Repository of Japanese Ruby reference manual

git-examine

math-comp

Mathematical Components

milkode

Source code search engine of line-oriented written by Ruby

ruby-repeat-check

Run ruby's make check repetedly

rubyci

The Ruby CI for chkbuild

sezemi-2015

2015年のSEゼミ関連のデータを置くリポジトリー

tex-lambda

we should control spaces manually in lambda expressions in TeX