Web components made simple and declarative

Use Helix keybindings inside Obsidian.md

Presentations and docs

VNC client web application

The user home repository for the Mathematics in Lean tutorial.

Slick, declarative command line video editing & API

Generate Belle Absente poems from works of literature! Can also be used to find naturally-occurring lipograms.

coturn TURN server project

Metamath Zero specification language

Make your own hyper apps!

A tool that translates augmented markdown into HTML or latex

Deployment Manager samples and templates.

Extensible Data Notation

IPFS implementation in JavaScript

a high-performance, POSIX-ish Amazon S3 file system written in Go

A shell console with GUI features

Payment Request API

A port of Coq to Javascript -- Run Coq in your Browser

A javascript library that lets you add stories EVERYWHERE.

A library and language for building parsers, interpreters, compilers, etc.

Experimental Servo browser built in HTML

Speech-to-Text-WaveNet : End-to-end sentence level English speech recognition based on DeepMind's WaveNet and tensorflow

Spatial Audio Rendering on the web.

React-based framework with performance, scalability, and security built in.

Persona is a secure, distributed, and easy to use identification system.

Awesome React Native components, news, tools, and learning material!

The P programming language.

An experiment in distance field raymarching that interacts with standard mesh-based objects. Made in Unity.

A simple Polymer element exporting an AWS configuration object