-
A student
- Kanagawa, Japan
- pasberth.github.io
Stars
Source Han Code JP | 源ノ角ゴシック Code
Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers
Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕
The core OCaml system: compilers, runtime system, base libraries
Website for minamichihaya
camlspotter / ocaml
Forked from ocaml/ocamlRead-only mirror of INRIA SVN
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A Browser written in JS. Free. Modular. Hackable.
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.
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
A strongly-typed language that compiles to JavaScript