#
Starred repositories
24
stars
written in TeX
Clear filter
Bootstrap yourself to write an OS from scratch. A book for self-learner.
Clever Algorithms: Nature-Inspired Programming Recipes
A complete introduction into Go, superseded by https://github.com/miekg/learninggo
Low-Level Software Security for Compiler Developers
Formalizations of Gödel's Ontological Proof of God's Existence
Research on integrating datalog & lambda calculus via monotonicity types
宇树科技 Yushu Technology (Unitree) go1 development notes
This repo is archived and will be merged into postgrest/postgrest soon.
A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.
Template for LaTeX-based diagrams of one's home network and self-hosted services
Cryptographic Engineering for Kids, for Everybody. Scaling down modern cryptography to pencil 'n paper; learn how it really works, without the math degree.
Solution to Algebra, Chapter 0
2017 Dat Whitepaper - Added for Archival Purposes (see DEPs for latest spec) [ DEPRECATED - see https://github.com/dat-ecosystem-archive/DEPs for similar functionality. More info on active projects…
Writing a fake paper? Chat about math? GitHub copilot can do lots of things...
Research into rewrite-rule completion in miniKanren
Scaling blockchains to billions of daily users
A reading list with citations for UCSB's CS 290G