Popular repositories Loading

1. PL-LectureNotes PL-LectureNotes Public

   Java 53 5

2. copl-tools copl-tools Public

   tools for the book "Concepts of Programming Languages"

   OCaml 20

3. errata-copl errata-copl Public

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

   8

4. ocaml_of_michelson ocaml_of_michelson Public

   Tiny translator from Michelson to OCaml

   OCaml 4 1

5. TPP2017 TPP2017 Public

   Coq 1 2

6. STLC STLC Public

   OCaml 1