Dave King's repositories
universal-react-without-node
Examples of Universal React without a Node.js Backend
docker-nightwatch-xvfb
Dockerfiles for Nightwatch.js and Xvfb
apep-chess-engine
Chess engine that I hacked up in grad school
ra-chess-engine
Golang chess engine I'm hacking up
coq-playground
Trying to improve at Coq
go-finite-fields
Finite field stuff in golang
QuickReturnDemo
Demo of quick return pattern for iOS
rfc1035-clojure
DNS implementation in Clojure
sqlite-jdbc
SQLite JDBC Driver
tildedave.com
My blog at tildedave.com
advent-of-code
Advent of code puzzles
coq-sum-of-squares
Compute prime numbers as a sum of squares using Coq
cryptopals-set8
Set 8 of Cryptopals Challenge
advent-of-code-2021
Just another coder doing yet another older advent of code
advent-of-code-2022
Just another coder doing another older advent of code
advent-of-code-2023
Just another coder doing some advent of code
CriminalIntent
Working through BigNerdRanch Android Programming 2nd Edition
cryptopals-ocaml
Cryptopals https://cryptopals.com
dots-and-boxes
Dots and Boxes
innovation
Started coding innovation in Clojure in 2017, never finished it
marcus-solutions
Writing up solutions for Number Fields by Daniel A Marcus
mocha-headless-chrome
Run client-side mocha tests in the command line through headless Chrome.
python-server-sdk
LaunchDarkly Server-side SDK for Python
react-unit-testing-examples
Some examples of unit testing react components
rust-number-theory
Implementing algorithms from A Course In Computational Algebraic Number Theory
sqlite-extension-functions
sqlite-extension-functions from sqlite contrib with some bug fixes
sqlite-jdbc-crash
Reproduces JNI crash using xerial/sqlite-jdbc