yozot

Pinned Repositories

cvelist
Pilot program for CVE submission through GitHub. CVE Record Submission via Pilot PRs ending 6/30/2023
1.4k 55 0741
CompCert
The CompCert formally-verified C compiler
Language:Coq0 0 00
conoha-api
conoha api commandline utility
Language:Shell0 1 00
cvelist
Pilot program for CVE submission through GitHub
00
lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
Language:OCaml0 0 00
OpenBSD-ports-mystuff
This repository contains my work-in-progress ports.
Language:Roff0 2 10
OWASPdocuments
Japanese translation of OWASP documents
Language:HTML0 0 00
playground
for testing purpose
0 1 00
utils
miscellaneous utilities
Language:Shell0 1 01
utils-js
javascript utilities
0 1 00

yozot's Repositories

yozot/CompCert
The CompCert formally-verified C compiler
Language:Coq0 0 00
yozot/conoha-api
conoha api commandline utility
Language:Shell0 1 00
yozot/cvelist
Pilot program for CVE submission through GitHub
00
yozot/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
Language:OCaml0 0 00
yozot/OpenBSD-ports-mystuff
This repository contains my work-in-progress ports.
Language:Roff0 2 10
yozot/OWASPdocuments
Japanese translation of OWASP documents
Language:HTML0 0 00
yozot/playground
for testing purpose
0 1 00
yozot/utils
miscellaneous utilities
Language:Shell0 1 01
yozot/utils-js
javascript utilities
0 1 00