Beast code in Giters

Atsushi Igarashi's repositories

Language:Java54 60

tools for the book "Concepts of Programming Languages"

Language:OCamlMIT18 10

「プログラミング言語の基礎概念」の正誤表

Tiny translator from Michelson to OCaml

Language:OCamlMIT4 1 6

Language:OCaml1 10

Language:Coq1 10

Language:OCamlMIT010

Language:Java010

Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors

Language:TeXGPL-3.001 1

Report on Shonan Meeting #50

Language:TeX010

000