coord_e

programming language / compiler implementation

Tsukuba, Japan

My Projects

GitHub repositories that I've built.

Build minimal docker images without static linking

Rust 416 6

self-hosted compiler for a subset of OCaml

OCaml 41 2

a statically-typed programming language with powerful syntax

C++ 30 2

optimizing compiler for a subset of C language

C 20 0

Expression-oriented toy programming language written in Rust

Rust 16 0

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

C++ 10 3

Implementation of type classes

Haskell 5 1

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

4 0

command-line utility to update A record in Route53 with current global IP address

Rust 4 0

Library for DSP6951 DSP Radio IC.

C++ 4 0

Topics that I want to learn more about.

Compiler

Programming language

Type system

Formal theorem proving