tildedave
Software guy. Principal engineer @atlassian. Day job: Java, Python, JavaScript. After hours: new dad, algebraic number theory, Golang, Clojure, Coq.
@atlassianDurham, NC
Pinned Repositories
advent-of-code
Advent of code puzzles
apep-chess-engine
Chess engine that I hacked up in grad school
coq-sum-of-squares
Compute prime numbers as a sum of squares using Coq
cryptopals-set8
Set 8 of Cryptopals Challenge
docker-nightwatch-xvfb
Dockerfiles for Nightwatch.js and Xvfb
flux-feature-flags
Demo of using Flux for Feature Flag Awesomeness
jasmine-mocks
Mock library for JavaScript using Jasmine spies (DON'T USE)
ra-chess-engine
Golang chess engine I'm hacking up
universal-react-without-node
Examples of Universal React without a Node.js Backend
tildedave's Repositories
tildedave/universal-react-without-node
Examples of Universal React without a Node.js Backend
tildedave/flux-feature-flags
Demo of using Flux for Feature Flag Awesomeness
tildedave/docker-nightwatch-xvfb
Dockerfiles for Nightwatch.js and Xvfb
tildedave/jasmine-mocks
Mock library for JavaScript using Jasmine spies (DON'T USE)
tildedave/ra-chess-engine
Golang chess engine I'm hacking up
tildedave/apep-chess-engine
Chess engine that I hacked up in grad school
tildedave/coq-playground
Trying to improve at Coq
tildedave/go-finite-fields
Finite field stuff in golang
tildedave/go-hashtables
Some hash table implementations in golang
tildedave/go-http2-impl
Learning Go, implementing HTTP 2.0
tildedave/QuickReturnDemo
Demo of quick return pattern for iOS
tildedave/react-router-lightboxes
UI State Demo with react-router
tildedave/rfc1035-clojure
DNS implementation in Clojure
tildedave/rust-number-theory
Implementing algorithms from A Course In Computational Algebraic Number Theory
tildedave/sqlite-jdbc
SQLite JDBC Driver
tildedave/tildedave.com
My blog at tildedave.com
tildedave/advent-of-code
Advent of code puzzles
tildedave/coq-sum-of-squares
Compute prime numbers as a sum of squares using Coq
tildedave/cryptopals-set8
Set 8 of Cryptopals Challenge
tildedave/celery
Distributed Task Queue (development branch)
tildedave/CriminalIntent
Working through BigNerdRanch Android Programming 2nd Edition
tildedave/cryptopals-ocaml
Cryptopals https://cryptopals.com
tildedave/dots-and-boxes
Dots and Boxes
tildedave/innovation
Started coding innovation in Clojure in 2017, never finished it
tildedave/leetcode-75
tildedave/marcus-solutions
Writing up solutions for Number Fields by Daniel A Marcus
tildedave/philosophy
tildedave/react-unit-testing-examples
Some examples of unit testing react components
tildedave/sqlite-extension-functions
sqlite-extension-functions from sqlite contrib with some bug fixes
tildedave/sqlite-jdbc-crash
Reproduces JNI crash using xerial/sqlite-jdbc