tool to build Ruby from clean

Coq plugin for monomorphization and C code generation

HTML/URI/shell escaping utilitiy functions for Ruby

Double-Ended Priority Queue

libusb binding for Ruby

Set up a full text code search engine for rubygems mirror

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

formatted document for Coq codegen plugin

Library packaging and distribution for Ruby.

No description provided.

No description provided.

pdftimestamp add a document timestamp signature for a PDF file.

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 plugin for monadification

Coq plugin to print Gallina terms (experimental)

The Ruby Programming Language

socket test commands

convert truth table to logical formula

This is a library to convert ABNF (Augmented Backus-Naur Form) to Regexp (Regular Expression) written in Ruby.

HTML/XML tree library

My library to add snippets for Builtin Classes

tools for scan books

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

CVS library for Ruby

terminfo binding for Ruby

minimal perfect hash

No description provided.

we should control spaces manually in lambda expressions in TeX

web page update checker

Ruby time library using tzfile