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 40 2

a statically-typed programming language with powerful syntax

C++ 30 2

Expression-oriented toy programming language written in Rust

Rust 16 0

optimizing compiler for a subset of C language

C 15 0

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

C++ 10 3

Implementation of type classes

Haskell 5 1

Haskellで作ってわかる型クラス

4 0

Library for DSP6951 DSP Radio IC.

C++ 4 0

command-line utility for booklet printing

Rust 2 0

Topics that I want to learn more about.

Compiler

Programming language

Type system

Formal theorem proving