coord.e

programming language / compiler implementation

Tokyo, Japan

My Projects

GitHub repositories that I've built.

self-hosted compiler for a subset of OCaml

OCaml 36 0

a statically-typed programming language with powerful syntax

C++ 29 2

Expression-oriented toy programming language written in Rust

Rust 16 0

(wip) optimizing compiler for a subset of C language

C 11 0

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

C++ 9 2

Implementation of type classes and ad-hoc polymorphism

Haskell 4 0

Library for DSP6951 DSP Radio IC.

C++ 3 0

command-line utility for booklet printing

Rust 2 0

ILI9328 Driver Library for Arduino

C++ 2 0

Topics that I want to learn more about.

Compiler

Programming language

Type system

Formal theorem proving