Momoko Hattori

hscaml. yet another toy OCaml interpreter in Haskell

min-caml-jvm. A tiny OCaml compiler with JVM backend 🐫☕️

graten. "Gradual Tensor Shape Checking" (ESOP 23)

egison-trs. Knuth-Bendix completion in Egison (and Haskell). 技術書典7

egison-sandbox. Pieces of code written in Egison

jasmin-example. Collection of learning resources for Jasmin (JVM assembler)

seccampDB. concurrent transaction control system from scratch

buchberger.egi. Buchberger's algorithm in Egison

cash. a toy shell written in OCaml 🐫🐚

indent-parser-example. Haskell

examples. A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.