pim-book / exercises
Solutions, discussions, and approaches to the exercises
☆141Updated 5 years ago
Related projects: ⓘ
- ☆152Updated last year
- Short essays I've written☆75Updated 8 months ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 4 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 3 years ago
- Fundamental algorithms☆93Updated 5 years ago
- Classic Hacker News stories☆144Updated 4 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆96Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 5 years ago
- A visualization of key structures in abstract algebra.☆153Updated 4 years ago
- A Literate Program about Data Structures and Object-Oriented Programming☆238Updated 4 months ago
- Analysis of the SARS-CoV-2 genome☆53Updated 4 years ago
- How many hours have you spent practicing programming?☆59Updated 3 years ago
- website for CMU 17-313☆45Updated this week
- SICP Course☆223Updated 4 years ago
- ☆89Updated 3 years ago
- Meta project related to the YouTube channel https://www.youtube.com/channel/UCRS1AaHawQklALPHwfAlBCQ/☆105Updated 7 years ago
- A ultra-performant app that shows a list of the latest 500 stories posted on Hacker News☆50Updated 4 years ago
- A Modern CompSci Curriculum☆301Updated 2 months ago
- View Algorithms in the Browser! - Built with ReactJs☆183Updated last year
- posts and code related to personal studies☆374Updated last year
- Stanford CS248 Assignment 1: Implement a simple SVG renderer☆18Updated 7 months ago
- Application of formal systems to model biological systems☆466Updated last year
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 4 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆208Updated last week
- Statistical analysis of software estimation☆91Updated 5 years ago
- Setup files for Mastery with SQL - A hands-on practical course for learning modern SQL!☆74Updated 3 years ago
- What is hip? Tell me, tell me (if you think you know)☆108Updated 6 years ago
- 📚 The Bayes Way 🎓☆33Updated last year
- Programming Language Explorations☆88Updated this week