akr Goto Github PK

abnf

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

all-ruby

Run various versions of ruby command

amarshal

marshal a Ruby object as Ruby code

api-design-case-study-book

attree

attributed tree

bookbox

tools for scan books

clean-build

tool to build Ruby from clean

clockcount

clockcount access processor specific clock counter.

codegen

Coq plugin for monomorphization and C code generation

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-html-escape

coq-myprint

Coq plugin to print Gallina terms (experimental)

damemo

My memo tool

debug-socket

debug-socket dumps TCP socket communication for debugging.

depq

Double-Ended Priority Queue

doctree

Repository of Japanese Ruby reference manual

escape

HTML/URI/shell escaping utilitiy functions for Ruby

gem-codesearch

Set up a full text code search engine for rubygems mirror

git-examine

htree

HTML/XML tree library

math-comp

Mathematical Components

milkode

Source code search engine of line-oriented written by Ruby

monadification

Coq plugin for monadification

mphash

minimal perfect hash

pdftimestamp

pdftimestamp add a document timestamp signature for a PDF file.

procmemsize

watch the memory size of processes in specified command on Linux

ruby

The Ruby Programming Language

ruby-cvs

CVS library for Ruby