davidad

protocol_1

a meditation protocol

IPSQL

InterPlanetary SQL

metaethical-ai

AI that does what we should want it to do

orient

↻Observe-Orient-Decide-Act↩

libwebode

Integrating ODEs/PDEs in the browser

scowproof

A type checker for a dependent type theory.

tikzjax

TikZJax is TikZ running under WebAssembly in the browser

category-theory

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

tensorflow_build_issue_fix

collection of tensorflow issue resolution

meteor-pg

Reactive PostgreSQL for Meteor

despot

A Redis-backed Spotify jukebox in pure C

openresty

High Performance Web Platform Based on Nginx and LuaJIT

Queries

Composable queries for Julia DataFrames

setjmp-longjmp-ucontext-snippets

Implementing coroutines, channels, message passing, etc.

meteor

Meteor, the JavaScript App Platform

notes-on-neural-networks

Rough working notes on neural networks

PIMA

personal information management assistant

syntastic

Syntax checking hacks for vim

enzymaticsynthesis

a roadmap for building a controlled polymerase

lux

Artificial Sunrise control program

lib6dof

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

am147_project

ImplicitCAD

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

bootstrap

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

clojurescript

Clojure to JS compiler

mmm

Music, Mind and Meaning

mongrel2

The Mongrel2 Web Server Project

asymptones_script

Asymptones Concert Script (for May 2011 concert)

fingering

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

points

Don't you want some~?