Yozo TODA's repositories
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
conoha-api
conoha api commandline utility
Language:ShellBSD-2-Clause000
cvelist
Pilot program for CVE submission through GitHub
000
lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
Language:OCamlNOASSERTION000
OpenBSD-ports-mystuff
This repository contains my work-in-progress ports.
Language:Roff000
OWASPdocuments
Japanese translation of OWASP documents
Language:HTMLCC0-1.0000
playground
for testing purpose
000