AkihisaYamada

@ERATOMMSD

Pinned Repositories

AkihisaYamada.github.io
personal page
Language:HTML0 2 00
CeTApostproc
For CeTA on StarExec
Language:Shell0 2 00
haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
Language:Haskell0 1 00
isabelle_dedukti-dead
Isabelle component for dedukti
Language:Isabelle0 1 00
mkassoc
Language:Shell0 1 00
natt
Language:OCaml0 2 20
pathmap
Language:C++0 2 00
ShonanArtOfSAT
Schedule for ArtOfSAT
0 0 00
star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod
Language:Haskell0 2 00
starexec-master
Language:PHP0 1 00

AkihisaYamada's Repositories

AkihisaYamada/AkihisaYamada.github.io
personal page
Language:HTML0 2 00
AkihisaYamada/CeTApostproc
For CeTA on StarExec
Language:Shell0 2 00
AkihisaYamada/haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
Language:Haskell0 1 00
AkihisaYamada/isabelle_dedukti-dead
Isabelle component for dedukti
Language:Isabelle0 1 00
AkihisaYamada/mkassoc
Language:Shell0 1 00
AkihisaYamada/natt
Language:OCaml0 2 20
AkihisaYamada/pathmap
Language:C++0 2 00
AkihisaYamada/ShonanArtOfSAT
Schedule for ArtOfSAT
0 0 00
AkihisaYamada/star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod
Language:Haskell0 2 00
AkihisaYamada/starexec-master
Language:PHP0 1 00
AkihisaYamada/tpp2019
Language:Coq2 01
AkihisaYamada/TXtruct
Language:Java1 0