Source Han Code JP | 源ノ角ゴシック Code

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。

Category Theory in Agda

clasp Common Lisp environment

Write shell scripts with Conduit

Type-safe open unions in Haskell

愛ちゃんのラブラブ放置プレイ

Camlp4 tool

Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕

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

Website for minamichihaya

Build valid HTML and SVG documents

Read-only mirror of INRIA SVN

Compiler from OCaml to Javascript.

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

A Browser written in JS. Free. Modular. Hackable.

Conduits for Processes

A textbook on informal homotopy type theory

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Map, Skeleton, Lambda term.

Statically typed system programming language for 文鳥

mini Lisp

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

website

A strongly-typed language that compiles to JavaScript