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:
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Solutions, discussions, and approaches to the exercises☆144Updated 6 years ago
- My reading list☆83Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- List of links of techniques to help enhance mathematical notation☆187Updated 9 months ago
- Notes on writing☆539Updated 3 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- Books that makes heavy use of visuals for scientific communication☆162Updated last year
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- Examples of literate programming by Knuth☆37Updated last month
- A toy Lisp interpreter and simple eval function☆148Updated 2 years ago
- Experiments in an explorable visual medium for mathematics☆262Updated 7 years ago
- It's a poorly named metamath verifier☆109Updated 5 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- Code for http://oilshell.org/blog/☆50Updated 2 months ago
- ☆42Updated 4 years ago
- A catalog of code worth reading☆112Updated 8 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Analysis of the SARS-CoV-2 genome☆59Updated 5 years ago
- Programming Language Explorations☆95Updated this week
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 6 years ago
- Finding Game of Life states that lead to pictures.☆18Updated last year
- ☆20Updated 4 years ago
- An explainer on entropy☆67Updated last year
- probabilistic programming for PL folks☆157Updated 4 years ago