Starred repositories
Use Helix keybindings inside Obsidian.md
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.
A tool that translates augmented markdown into HTML or latex
Deployment Manager samples and templates.
a high-performance, POSIX-ish Amazon S3 file system written in Go
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
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!
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
4
Updated Dec 22, 2014