Pinned Loading

1. chip8-python chip8-python Public

   chip8 emulator の python 実装

   Python

2. lean-interpreter lean-interpreter Public

   Lean 4 で実装したシンプルなインタプリタ

   Lean

3. coreml coreml Public

   大堀淳『コンパイラ 原理と構造』（共立出版, 2021年）を参考にして書いたコード

   Standard ML