🌮
Hungry
Software guy. Principal engineer @atlassian.
Day job: Java, Python, JavaScript.
After hours: new dad, algebraic number theory, Golang, Clojure, Coq.
- Durham, NC
- https://www.tildedave.com
- @tildedave@lor.sh
Pinned Loading
-
-
-
universal-react-without-node
universal-react-without-node PublicExamples of Universal React without a Node.js Backend
-
coq-sum-of-squares
coq-sum-of-squares PublicCompute prime numbers as a sum of squares using Coq
Coq
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.