pim-book / exercisesLinks
Solutions, discussions, and approaches to the exercises
☆145Updated 6 years ago
Alternatives and similar repositories for exercises
Users that are interested in exercises are comparing it to the libraries listed below
Sorting:
- Short essays I've written☆78Updated last year
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 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
- Programming Language Explorations☆96Updated last week
- A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.☆492Updated last month
- A tool that translates augmented markdown into HTML or latex☆470Updated 3 years ago
- Some programming problems I have solved for fun and practice☆34Updated 2 weeks ago
- Notes on writing☆540Updated 3 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- Fundamental algorithms☆93Updated 6 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆70Updated 3 years ago
- Algorithms and Data Structures book☆186Updated last year
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 10 years ago
- Application of formal systems to model biological systems☆488Updated 2 years ago
- This is a Coloring Book about Group Theory☆88Updated 2 years ago
- Notes/links on math and science, including statistics, bayes, cmpsc, quant trading, machine learning, etc☆521Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- ACT community resources☆468Updated 5 years ago
- ☆398Updated 15 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Statistical analysis of software estimation☆91Updated 6 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- ☆154Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- Peter Norvig's Paradigms of AI Programming implemented in Python☆364Updated 4 years ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year