Name: Dave King
Type: User
Company: @atlassian
Bio: Software guy. Principal engineer @atlassian.
Day job: Java, Python, JavaScript.
After hours: new dad, algebraic number theory, Golang, Clojure, Coq.
Location: Durham, NC
Blog: https://www.tildedave.com
Dave King's Projects
JLift code analyzer frontend -- convert code into a 'known' syntax, strip comments, fix various ugliness, etc
Writing up solutions for Number Fields by Daniel A Marcus
Run client-side mocha tests in the command line through headless Chrome.
Unfinished implementation of a primitive recursive encoding of the theory of Peano arithmetic.
Demo of quick return pattern for iOS
Golang chess engine I'm hacking up
UI State Demo with react-router
Some examples of unit testing react components
Mock RESTful server for serving mostly static content for testing clients
DNS implementation in Clojure
Implementing algorithms from A Course In Computational Algebraic Number Theory
Determine the external library dependencies of a Java project; uses Cornell's Polyglot Java parser/translater.
OCaml graph processing: minimum cut and dominator calculation (Thesis Program)
Rewrite of Simp in C++ using Lemon graph framework (Thesis Program)
sqlite-extension-functions from sqlite contrib with some bug fixes
SQLite JDBC Driver
Reproduces JNI crash using xerial/sqlite-jdbc
My blog at tildedave.com
Examples of Universal React without a Node.js Backend