pim-book / exercisesLinks
Solutions, discussions, and approaches to the exercises
☆143Updated 7 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 2 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆33Updated 5 years ago
- Interesting Papers and Ideas☆86Updated 8 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆485Updated 5 years ago
- A tool that translates augmented markdown into HTML or latex☆472Updated 3 years ago
- Notes on writing☆544Updated 3 years ago
- ☆171Updated 5 months ago
- Notes/links on math and science, including statistics, bayes, cmpsc, quant trading, machine learning, etc☆531Updated 5 years ago
- code + contents of my website, and programming life☆372Updated 2 weeks ago
- A Modern CompSci Curriculum☆299Updated 3 weeks ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- Some programming problems I have solved for fun and practice☆34Updated 4 months ago
- Fundamental algorithms☆93Updated 6 years ago
- ☆400Updated 15 years ago
- Foundations of Machine Learning☆340Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- This is a Coloring Book about Group Theory☆90Updated 3 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
- Programming Language Explorations☆102Updated 3 weeks ago
- 🦑 Informal definitions of terms used in concurrency modeling☆333Updated 5 years ago
- Application of formal systems to model biological systems☆491Updated 2 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆140Updated 2 years ago
- View Algorithms in the Browser! - Built with ReactJs☆183Updated 2 years ago
- Algorithms and Data Structures book☆189Updated 2 years ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 9 months ago
- ACT community resources☆471Updated 6 years ago
- Growing the code out of your notebooks - the right way.☆529Updated 3 years ago
- L1: Tensor Studio — The playground for tensors☆186Updated 7 years ago
- The source for pimbook.org☆18Updated 2 years ago