T. Ii's repositories
test4kozos
cpputest trial using kozos
asciidoctor-chrome-extension
:white_circle: An extension for Google Chrome (& Chromium) that converts AsciiDoc files to HTML directly in the browser using Asciidoctor.js.
cpdt-japanese
Certified Programming with Dependent Types (Japanese Translation)
Language:CoqMIT000
eBookCodeHighlight
A syntax hilighter for code in eBook
LYSE4GG_by_Elixir
do "Learn You Some Erlang for Great Good" by Elixir
NullSerial
NullSerial is an Arduino Library, "Serial" like but not print anything.
Language:C++LGPL-3.0000
qmlbook
The source code for the upcoming qml book
Language:QMLBSD-3-Clause000
Language:GoMIT000
vim-fugitive
fugitive.vim: A Git wrapper so awesome, it should be illegal
xpath
XPath package for Golang, supported HTML, XML, JSON query.
MIT000