j2kun / essays
Short essays I've written
☆76Updated last year
Alternatives and similar repositories for essays:
Users that are interested in essays are comparing it to the libraries listed below
- A toy Lisp interpreter and simple eval function☆143Updated last year
- Audible NP-Complete Problem☆22Updated 5 years ago
- Finding Game of Life states that lead to pictures.☆18Updated 8 months ago
- This is a Coloring Book about Group Theory☆88Updated 2 years ago
- My reading list☆81Updated 2 years ago
- ☆23Updated 6 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Solutions, discussions, and approaches to the exercises☆144Updated 6 years ago
- ☆41Updated 3 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 4 years ago
- probabilistic programming for PL folks☆153Updated 3 years ago
- The Design and Implementation of Probabilistic Programming Languages☆175Updated 9 months ago
- List of links of techniques to help enhance mathematical notation☆181Updated 3 months ago
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- Code for http://oilshell.org/blog/☆49Updated this week
- Experiments in an explorable visual medium for mathematics☆260Updated 7 years ago
- ☆42Updated 8 years ago
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆123Updated 6 months ago
- Examples of literate programming by Knuth☆36Updated 7 months ago
- If you could nominate one formative, novel, or comprehensive textbook to survive into the future.☆34Updated 3 years ago
- A visualization of key structures in abstract algebra.☆155Updated 4 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 5 years ago
- CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)☆39Updated 3 years ago
- An alternative frontend for LessWrong 2.0☆65Updated 3 weeks ago
- A small OS that doesn't do much.☆22Updated 9 months ago
- Application of formal systems to model biological systems☆471Updated last year
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 8 months ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆67Updated 2 years ago