Hiroshi Sakurai

docs. any docs

type-systems-scala. Implementations of various type systems in Scala.

simpletapl. Prolog

mincamlj. min caml on java and scala

min-caml-js. OCaml subset to JavaScript translator

msxgl. usage MSXGL

x86_64. x86_64 compiler using scala.

bulletpl. Prolog

lllong. windows osx linux対応の x86 x86_64 コンパイラ

newlang2018. Prolog

camlup. camlup is another c like ocaml syntax language

swfspec_ja. Flash SWF Spec

sccp_js. JavaScript

SCompiler. Pascal Compiler written in scala language

timi. Timi is simple x86_64 native compiler writing by Scala language for Mac OSX.

tapl. OCaml

oplldrv. C

draspimd. C

lr-parser-ocaml. OCaml

tangnano20k_labo. F#

cz80d. z80 disassembler with cycle count

simple_x86_prolog. 285-line Prolog x86_64 compiler with SSA & liveness

tangnano20k_spi_flash_example. SPI/DSPI/QSPI/QPI example running on Tang Nano 20K

bas2txt. C

newlang2017. 不純で高速な関数型言語の統一的言語を定義するための言語仕様

jasc. OCaml

stinyc. Tiny-C compiler created by Scala language

NihonkokuKenpo. 日本国憲法

type1. typing compiler

camljoos0. A simple compiler for a small subset of Java 1.3

clover2. Javaの様に静的な型を持つRuby風のコンパイラ言語です。インタプリタとしても使えます。LLVMでJITもします。詳しくはwikiを見てください

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

gendev-0.5.0. Assembly

trans. Prolog

region_infer. region inference type system

diary. h_sakurai's diary

ctinyc. Compact Expression syntax Tiny C language Compiler

vscode-docs. Public documentation for Visual Studio Code

gdis_prolog. very simple prolog

momoplugb. Making Of Making Of Programinng Language Using Git Branch

type-system-docs. 型理論のまとめ

stiger. tiger language created by scala

goma. goma is goma programming language

type4. type4 is x86_64 compiler can use the float value

newlang2016. Prolog