a meditation protocol

InterPlanetary SQL

AI that does what we should want it to do

↻Observe-Orient-Decide-Act↩

Integrating ODEs/PDEs in the browser

A type checker for a dependent type theory.

TikZJax is TikZ running under WebAssembly in the browser

An axiom-free formalization of category theory in Coq for personal study and practical work

collection of tensorflow issue resolution

Reactive PostgreSQL for Meteor

A Redis-backed Spotify jukebox in pure C

High Performance Web Platform Based on Nginx and LuaJIT

Composable queries for Julia DataFrames

Implementing coroutines, channels, message passing, etc.

Meteor, the JavaScript App Platform

Rough working notes on neural networks

personal information management assistant

Syntax checking hacks for vim

a roadmap for building a controlled polymerase

Artificial Sunrise control program

Simple C library for 3DConnexion devices based on signal11/hidapi

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

Clojure to JS compiler

Music, Mind and Meaning

The Mongrel2 Web Server Project

Asymptones Concert Script (for May 2011 concert)

An engine to determine the most efficient fingerings of chord sequences on musical instruments.

Don't you want some~?