Dave King

universal-react-without-node. Examples of Universal React without a Node.js Backend

flux-feature-flags. Demo of using Flux for Feature Flag Awesomeness

docker-nightwatch-xvfb. Dockerfiles for Nightwatch.js and Xvfb

jasmine-mocks. Mock library for JavaScript using Jasmine spies (DON'T USE)

ra-chess-engine. Golang chess engine I'm hacking up

cloudfiles-manager. Browser-based manager for Rackspace Cloud Files

init.el. My .emacs directory

marcus-solutions. Writing up solutions for Number Fields by Daniel A Marcus

apep-chess-engine. Chess engine that I hacked up in grad school

deploybot. Deploy engine I wrote to push code from Atlassian's Bamboo for a legacy app

primitive-recursive-peano. Unfinished implementation of a primitive recursive encoding of the theory of Peano arithmetic.

siggen. Determine the external library dependencies of a Java project; uses Cornell's Polyglot Java parser/translater.

greenbar. Python TDD Server

jasmine-closure. jQuery matchers and fixture loader for Jasmine framework

jlift. JLift code analyzer -- add annotations to Java programs, output the information flows

coq-playground. Trying to improve at Coq

simp-lemon. Rewrite of Simp in C++ using Lemon graph framework (Thesis Program)

react-router-lightboxes. UI State Demo with react-router

find-file-in-project. FFIP + project.el

httpmock.js. mock HTTP server, specified by a DSL, written in node.js

simp. OCaml graph processing: minimum cut and dominator calculation (Thesis Program)

tildedave.com. My blog at tildedave.com

git-learning.

go-hashtables. Some hash table implementations in golang

cassandra-flask-sessions. Cassandra Session Backend for Flask

jlift-frontend. JLift code analyzer frontend -- convert code into a 'known' syntax, strip comments, fix various ugliness, etc

restmock. Mock RESTful server for serving mostly static content for testing clients

go-http2-impl. Learning Go, implementing HTTP 2.0

ancient-qbasic-games. QBasic Games from Junior High

QuickReturnDemo. Demo of quick return pattern for iOS

rust-number-theory. Implementing algorithms from A Course In Computational Algebraic Number Theory

i18n-puzzles. https://i18n-puzzles.com/ in Zig

sqlite-jdbc. SQLite JDBC Driver

rfc1035-clojure. DNS implementation in Clojure

go-finite-fields. Finite field stuff in golang

lean-playground. Learning lean