davidad

davidad's Stars

• twbs/bootstrap

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

  Language:JavaScript171k6.7k22.6k78.9k

• meteor/meteor

  Meteor, the JavaScript App Platform

  Language:JavaScript44.4k1.5k9.1k5.2k

• openresty/openresty

  High Performance Web Platform Based on Nginx and LuaJIT

  Language:C12.7k5467831.5k

• clojure/clojurescript

  Clojure to JS compiler

  Language:Clojure9.2k3600788

• Haskell-Things/ImplicitCAD

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

  Language:JavaScript1.4k52246142

• mongrel2/mongrel2

  The Mongrel2 Web Server Project

  Language:C1.4k72161186

• jwiegley/category-theory

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

  Language:Coq754201970

• kisonecat/tikzjax

  TikZJax is TikZ running under WebAssembly in the browser

  Language:JavaScript451112839

• numtel/meteor-pg

  Reactive PostgreSQL for Meteor

  Language:JavaScript300311816

• mikeal/IPSQL

  InterPlanetary SQL

  Language:JavaScript2131039

• danluu/setjmp-longjmp-ucontext-snippets

  Implementing coroutines, channels, message passing, etc.

  Language:C13213131

• meditationstuff/protocol_1

  a meditation protocol

  Language:HTML548021

• mnielsen/notes-on-neural-networks

  Rough working notes on neural networks

  Language:TeX448012

• filecoin-project/orient

  ↻Observe-Orient-Decide-Act↩

  Language:Common Lisp1815216

• tessro/despot

  A Redis-backed Spotify jukebox in pure C

  Language:C9301

• davidad/lib6dof

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

  Language:C6411

• JimmyKon/tensorflow_build_issue_fix

  collection of tensorflow issue resolution

  6300

• petersn/scowproof

  A type checker for a dependent type theory.

  Language:Haskell6300

• dglittle/PIMA

  personal information management assistant

  Language:JavaScript5274

• metaethical-ai/metaethical-ai

  AI that does what we should want it to do

  4

• carljv/Queries

  Composable queries for Julia DataFrames

  Language:Julia3400

• kanzure/enzymaticsynthesis

  a roadmap for building a controlled polymerase

  330

• petersn/libwebode

  Integrating ODEs/PDEs in the browser

  Language:Python33190

• davidad/am147_project

  Language:C2

• davidad/fingering

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

  Language:C21

• davidad/lux

  Artificial Sunrise control program

  Language:C2

• davidad/asymptones_script

  Asymptones Concert Script (for May 2011 concert)

  1

• davidad/mmm

  Music, Mind and Meaning

  1

• davidad/points

  Don't you want some~?

  1

• davidad/syntastic

  Syntax checking hacks for vim

  Language:VimL1