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
- My reading list☆82Updated 3 years ago
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- probabilistic programming for PL folks☆155Updated 3 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 11 months ago
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- A toy Lisp interpreter and simple eval function☆145Updated last year
- Finding Game of Life states that lead to pictures.☆18Updated 10 months ago
- ☆41Updated 4 years ago
- A visualization of key structures in abstract algebra.☆155Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Solutions, discussions, and approaches to the exercises☆144Updated 6 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- An explainer on entropy☆66Updated 11 months ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Examples of literate programming by Knuth☆37Updated 10 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆60Updated last year
- Books that makes heavy use of visuals for scientific communication☆160Updated last year
- Probabilistic Programming☆42Updated last year
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆67Updated 3 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 5 years ago
- tool for creating and sharing annotations, using github for storage and social network☆89Updated 3 years ago
- The Math of Card Shufflig☆38Updated 2 years ago
- Casual experiments with cellular automata☆77Updated 6 years ago
- things that don't deserve their own repo☆64Updated 2 months ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 4 years ago
- List of links of techniques to help enhance mathematical notation☆184Updated 5 months ago
- ☆24Updated 6 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago