Discover @aigarashi Open Source projects

Atsushi Igarashi (@aigarashi)

aigarashi

Stars
85
Global Rank 233,623 (Top 9 %)
Followers 38
Registered almost 11 years ago
Most used languages

OCaml
60.0 %

Java
20.0 %

Coq 20.0 %
Location 🇯🇵 Japan
Country Total Rank 4,911
Country Ranking

OCaml
32

Coq 39

Java
311

PL-LectureNotes

copl-tools

tools for the book "Concepts of Programming Languages"

errata-copl

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

ocaml_of_michelson

Tiny translator from Michelson to OCaml

TPP2017

STLC