- Seattle
- @[email protected]
Block or Report
Block or report dunhamsteve
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
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 core software distribution for the Inform 7 programming language.
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
Etherpad: A modern really-real-time collaborative document editor.
1kB-ish JavaScript framework for building hypertext applications
Home to public development of NIST Special Publication 800-63-3: Digital Authentication Guidelines
A JS library for predictable global state management
IntelliJ IDEA Community Edition & IntelliJ Platform
Production-Grade Container Scheduling and Management
4store is an efficient, scalable and stable RDF database.
A markdown parser and compiler. Built for speed.
A compiler from Go to JavaScript for running Go code in a browser
The implementation of microKanren, a featherweight relational programming language
The #1 HTTP server for iOS, macOS & tvOS (also includes web based uploader & WebDAV server)