Oguri Hideyuki's repositories
Language:JavaScript000
coq_sample
Coq/SSReflect/MathCompによる定理証明
Language:Coq000
D3NS
DeDeDoNs font server
Language:HTMLMIT000
Language:PrologMIT000
MIT000
Language:JavaScript000
KanColleViewer
艦これブラウザーのようなもの
Language:C#MIT000
Language:JavaScriptMIT000
Language:JavaApache-2.0000
Prologue
Rocket Flight Simulator
MIT000
Language:Pascal000
Language:DartMPL-2.0000
Language:Python000
Language:PostScriptMIT000
Language:CMIT000
Language:Rust000
training
C/C++. Rust, Julia, FORTRAN (, Hskell, Ada, x86 Assembly)
Language:Jupyter NotebookMIT000