akr

Pinned Repositories

abnf
This is a library to convert ABNF (Augmented Backus-Naur Form) to Regexp (Regular Expression) written in Ruby.
Language:Ruby13 4 30
codegen
Coq plugin for monomorphization and C code generation
Language:OCaml34 7 43
coq-html-escape
Language:Coq10 2 00
depq
Double-Ended Priority Queue
Language:Ruby13 3 00
escape
HTML/URI/shell escaping utilitiy functions for Ruby
Language:Ruby13 4 13
gem-codesearch
Set up a full text code search engine for rubygems mirror
Language:Ruby66 7 26
ruby-terminfo
terminfo binding for Ruby
Language:C10 2 02
ruby-usb
libusb binding for Ruby
Language:C52 10 130
tb
manipulation tool for table: CSV, TSV, JSON, etc.
Language:Ruby91 8 02
truthtable
convert truth table to logical formula
Language:Ruby11 2 13

akr's Repositories

akr/tb
manipulation tool for table: CSV, TSV, JSON, etc.
Language:Ruby91 8 02
akr/gem-codesearch
Set up a full text code search engine for rubygems mirror
Language:Ruby66 7 26
akr/ruby-usb
libusb binding for Ruby
Language:C52 10 130
akr/codegen
Coq plugin for monomorphization and C code generation
Language:OCaml34 7 43
akr/depq
Double-Ended Priority Queue
Language:Ruby13 3 00
akr/escape
HTML/URI/shell escaping utilitiy functions for Ruby
Language:Ruby13 4 13
akr/coq-html-escape
Language:Coq10 2 00
akr/api-design-case-study-book
9 7 55
akr/vcs-ann
interactive wrapper for "svn ann" and "git blame"
Language:Ruby9 2 01
akr/mphash
minimal perfect hash
Language:Ruby6 3 01
akr/pdftimestamp
pdftimestamp add a document timestamp signature for a PDF file.
Language:Java6 2 03
akr/htree
HTML/XML tree library
Language:Ruby5 2 2
akr/monadification
Coq plugin for monadification
Language:OCaml5 2 01
akr/ruby
The Ruby Programming Language
Language:Ruby2 2 0
akr/clean-build
tool to build Ruby from clean
Language:Shell1 2 0
akr/damemo
My memo tool
Language:Ruby1 2 0
akr/rubygems
Library packaging and distribution for Ruby.
Language:Ruby1 2 0
akr/tarai
tarai function
Language:Ruby1 2 0
akr/codegen-doc
formatted document for Coq codegen plugin
Language:HTML1 0
akr/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.
Language:OCaml2 0
akr/coq-curry-howard
Document to explain Coq and Curry-Howard correspondence
Language:Coq2 0
akr/coq-myprint
Coq plugin to print Gallina terms (experimental)
Language:OCaml2 0
akr/doctree
Repository of Japanese Ruby reference manual
Language:R2 0
akr/git-examine
Language:Ruby1 0
akr/math-comp
Mathematical Components
Language:Coq2 0
akr/milkode
Source code search engine of line-oriented written by Ruby
Language:Ruby2 0
akr/ruby-repeat-check
Run ruby's make check repetedly
Language:Ruby2 0
akr/rubyci
The Ruby CI for chkbuild
Language:Ruby2 0
akr/sezemi-2015
2015年のSEゼミ関連のデータを置くリポジトリー
Language:Ruby2 0
akr/tex-lambda
we should control spaces manually in lambda expressions in TeX
Language:TeX1 0