j2kun / essaysLinks
Short essays I've written
☆80Updated 2 years ago
Alternatives and similar repositories for essays
Users that are interested in essays are comparing it to the libraries listed below
Sorting:
- Solutions, discussions, and approaches to the exercises☆144Updated 7 years ago
- Code for http://oilshell.org/blog/☆50Updated 5 months ago
- My reading list☆84Updated 3 years ago
- Examples of literate programming by Knuth☆39Updated 6 months ago
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- This is a Coloring Book about Group Theory☆89Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- A toy Lisp interpreter and simple eval function☆148Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Tools for making step-by-step code walkthroughs☆141Updated 5 years ago
- Interesting Papers and Ideas☆86Updated 8 years ago
- An explainer on entropy☆68Updated last year
- probabilistic programming for PL folks☆159Updated 4 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆33Updated 5 years ago
- Books that makes heavy use of visuals for scientific communication☆168Updated last year
- Organize remote meetings for reading computer science papers☆35Updated 5 years ago
- List of links of techniques to help enhance mathematical notation☆192Updated last year
- ☆42Updated 4 years ago
- Smallish programs written to learn something.☆50Updated 2 years ago
- The Principia Rewrite☆228Updated last month
- Working through Structure and Interpretation of Classical Mechanics.☆129Updated 2 months ago
- A catalog of code worth reading☆115Updated 8 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated 2 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Experiments in an explorable visual medium for mathematics☆264Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- A repo for a Program and Data Representation university-level course☆38Updated 7 years ago