pasberth

TypeScript

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

source-han-sans

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

purescript

A strongly-typed language that compiles to JavaScript

breach_core

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

ocaml

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

coq

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 development of machine-checked proofs.

frege

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

clasp

clasp Common Lisp environment

book

A textbook on informal homotopy type theory

source-han-code-jp

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

ravi

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

js_of_ocaml

Compiler from OCaml to Javascript.

jscert

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

tyxml

Build valid HTML and SVG documents

camlp4

Camlp4 tool

shell-conduit

Write shell scripts with Conduit

rill

Statically typed system programming language for 文鳥

open-union

Type-safe open unions in Haskell

Mokkosu

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

process-conduit

Conduits for Processes

homotopy

dark-constexpr.github.io

agda-cate

Category Theory in Agda

yakkai

mini Lisp

ocaml

Read-only mirror of INRIA SVN

mslambda

Map, Skeleton, Lambda term.

website

website

minamichihaya.github.io

Website for minamichihaya

js_of_ocaml-project-skeleton

aichan-lvlv

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