marionette-of-u

arithmeticae's starred repositories

Setoid-based Category Theory in Coq.

Language:HTML1200

作りかけのプログラムの断片。

Language:C++400

tiny tiny httpd

Language:C++NOASSERTION8800

Language:C++NOASSERTION4600

Statically typed system programming language for 文鳥

Language:OCamlBSL-1.09400

Language:CSS100

Language:C++600

http://twitter.com/mc681

Language:Clojure300

GNU MPのラッパ、グレブナー基底（予定）など

Language:C++300

c++ lexer generator.

Language:C++400

数式関数電卓

Language:C++300

dbg.vim is vim scipt for debug the program. (support cdb, gdb, jdb,fdb,mdbg)

Language:VimL3300

Language:C++300

Embeddable Script Language for C++

Language:C++3500

Use of clang to complete in C/C++.

Ultimate auto-completion system for Vim.

Language:Vim Script172100