Pinned Repositories
Cardboard
ConShift
Convert git wiki pages into a single markdown file.
ConTaboo
Formally verified taboo algorithm.
ConWiki2Slide
hacker
Hacker is a Jekyll theme for GitHub Pages
happyEngineering
The computer-aided engineering
SA_is_GA
A formal proof of "GA = SA"
SimpleOpt
SimpleSet
A finite/Infinite set data type.
STakashimizu.github.io
conengine's Repositories
conengine/SA_is_GA
A formal proof of "GA = SA"
conengine/SimpleSet
A finite/Infinite set data type.
conengine/Cardboard
conengine/ConShift
Convert git wiki pages into a single markdown file.
conengine/ConTaboo
Formally verified taboo algorithm.
conengine/ConWiki2Slide
conengine/hacker
Hacker is a Jekyll theme for GitHub Pages
conengine/happyEngineering
The computer-aided engineering
conengine/SimpleOpt
conengine/STakashimizu.github.io