A demo implementation of a simple dependently-typed language

A proof assistant for higher-dimensional type theory

Minimal implementations for dependent type checking and elaboration

An introduction to programming language theory in Agda

The adventures of a Haskell compiler

The core software distribution for the Inform 7 programming language.

Convert TeX's pascal to javascript

A core language and API for dependently typed languages

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

A purely functional programming language with first class types

An IO streaming library for Idris2

Etherpad: A modern really-real-time collaborative document editor.

1kB-ish JavaScript framework for building hypertext applications

A Lisp for Lua and JavaScript

Home to public development of NIST Special Publication 800-63-3: Digital Authentication Guidelines

OS X menubar status indicator

A JS library for predictable global state management

IntelliJ IDEA & IntelliJ Platform

Production-Grade Container Scheduling and Management

4store is an efficient, scalable and stable RDF database.

The Z3 Theorem Prover

PDF reader

A markdown parser and compiler. Built for speed.

The Go programming language

An embedded key/value database for Go.

A compiler from Go to JavaScript for running Go code in a browser

The implementation of microKanren, a featherweight relational programming language

toy minikanren impl in Go lang

The #1 HTTP server for iOS, macOS & tvOS (also includes web based uploader & WebDAV server)