j2kun / essaysLinks
Short essays I've written
☆78Updated last year
Alternatives and similar repositories for essays
Users that are interested in essays are comparing it to the libraries listed below
Sorting:
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Finding Game of Life states that lead to pictures.☆18Updated last year
- If you could nominate one formative, novel, or comprehensive textbook to survive into the future.☆35Updated 4 years ago
- My reading list☆83Updated 3 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Organize remote meetings for reading computer science papers☆33Updated 5 years ago
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- Applied Discrete Structures using PreTeXt☆44Updated last week
- Code for http://oilshell.org/blog/☆50Updated 3 weeks ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- A toy Lisp interpreter and simple eval function☆146Updated 2 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- A small OS that doesn't do much.☆22Updated last year
- A visualization of key structures in abstract algebra.☆155Updated 5 years ago
- probabilistic programming for PL folks☆156Updated 3 years ago
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- The Math of Card Shufflig☆38Updated 2 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Philosophy diagrams in Ti𝑘Z☆36Updated 3 years ago
- Classic Hacker News stories☆144Updated 5 years ago
- programmable space at Recurse Center☆53Updated last year
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 3 weeks ago
- Probabilistic Programming☆42Updated last year
- An explainer on entropy☆66Updated last year
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year