Node.js Desktop Automation.

Programming language

A programming language

Intermediate Representation of sonic

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

ﾑﾗｶﾐのホームページです

O(N log N)-space IPC solver in OCaml

OCaml の日本語での情報

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

A statically-typed programming language based on "F-ing modules"

Clamp Type Checker

Time script = Vim script + static typing

Is it possible to extend region inference to System F?

ATS言語に関する文書の日本語訳置き場

The core OCaml system: compilers, runtime system, base libraries

The single instruction C compiler

A toy JVM written in Go

Clover2 can be used as shell. The completion is powerfull like IDE. Also clover2 is a Ruby-like compiler language with static type like Java. This is high performnace. Please see the wiki for details