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☆79Updated last year
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆162Updated 6 years ago
- Setup files for Mastery with SQL - A hands-on practical course for learning modern SQL!☆77Updated 2 months ago
- Programming Language Explorations☆99Updated last week
- A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.☆496Updated last week
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- A tool that translates augmented markdown into HTML or latex☆470Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Fundamental algorithms☆93Updated 6 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- A Modern CompSci Curriculum☆299Updated 3 months ago
- ☆162Updated last month
- Algorithms and Data Structures book☆187Updated 2 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- HTML conversion of a great beginner calculus book☆278Updated 6 months ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- 🦑 Informal definitions of terms used in concurrency modeling☆333Updated 5 years ago
- Notes/links on math and science, including statistics, bayes, cmpsc, quant trading, machine learning, etc☆524Updated 4 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆162Updated last year
- Growing the code out of your notebooks - the right way.☆528Updated 3 years ago
- ☆398Updated 15 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 5 months ago
- SICP Course☆230Updated 5 years ago
- Application of formal systems to model biological systems☆487Updated 2 years ago
- Info on resources for studying math, stats, CS, etc.☆214Updated 2 years ago
- Lecture video processing scripts 🎥☆308Updated 9 months ago
- code + contents of my website, and programming life☆368Updated last week