Andrew Brown's starred repositories
pocketbase
Open Source realtime backend in 1 file
ddd-starter-modelling-process
If you're new to DDD and not sure where to start, this process will guide you step-by-step
welcome-to-ddd
Definitions of DDD and fundamental concepts to reduce the learning curve and confusion
BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
hackernews-personal-blogs
List of Public Blogs of Hacker News users
discrete-book
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.