coord.e

programming language implementation | high school student

Tokyo, Japan

My Projects

GitHub repositories that I've built.

self-hosted compiler for a subset of OCaml

OCaml 31 0

a statically-typed programming language with powerful syntax

C++ 30 2

Expression-oriented toy programming language written in Rust

Rust 16 0

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

C++ 7 2

functional programming language and its compiler

Haskell 5 0

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