coord.e

programming language implementation | high school student

Tokyo, Japan

My Projects

GitHub repositories that I've built.

a statically-typed programming language with powerful syntax

C++ 28 2

compiler for a tiny subset of OCaml

OCaml 27 0

Expression-oriented toy programming language written in Rust

Rust 15 0

convert c/c++ code into well-formed ascii art

C++ 7 2

Rustで言語処理系を書くと楽しい

Rust 3 1

Library for DSP6951 DSP Radio IC.

C++ 3 0

Topics that I want to learn more about.

Compiler

Programming language

Type system

Formal theorem proving