Koichi NAKAMURA

planckforth. Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

amber. A Language for High-Level Programming with Self-Extension

category-seminar. Materials for category theory seminar

math-seminar. HTML

prml-seminar. HTML

Choco. MinCaml Compiler implementation by Haskell

planck-old. This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.

topos-theory. HTML

raytracer. Raytracer purely written by Ruby

manifold-optimization. HTML

hex-to-compiler. Bootstrapping a language system from absolute zero — hand-written machine code to progressively higher-level languages.

puref. Simple purely functional language.

NLP-seminar. CSS

math. 数学関係のプログラム集

pprinter. Philip Wadler's pretty printer for Python

vision. Datasets, Transforms and Models specific to Computer Vision

markov_logic_network. Python

nineties.github.io. Ruby

interface-magazine. Python

L-calculus. Implementation of L-calculus model

lsdslam. Implementation of LSD-SLAM

dotfiles. Shell

carnival. Actor model library for python.