bolducp / SICP
my solutions for the exercises in the Structure and Interpretation of Computer Programs text (SICP)
☆14Updated 7 years ago
Alternatives and similar repositories for SICP:
Users that are interested in SICP are comparing it to the libraries listed below
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- ☆19Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated last month
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆13Updated 8 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆14Updated 4 months ago
- Deposited packages of the homalg project☆13Updated last month
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- An Introduction to Various Math Topics☆9Updated 10 years ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 9 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 9 months ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- The theory of groups☆76Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 4 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Cracking the Coding Interview 6th Ed. Haskell Solutions☆21Updated 2 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- 👨🏻🎓 Playground for learning programming languages☆25Updated 4 months ago
- Awesome Agda Programming☆16Updated 4 years ago
- Examples from the class CMSC 330 during Summer 2015☆48Updated 9 years ago
- the Coolest OS Ever Created☆24Updated 10 months ago
- ☆42Updated 8 years ago
- Code bundle for "Haskell Design Patterns" book☆18Updated 9 years ago
- ☆33Updated 6 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆42Updated this week
- A computational way to study discrete mathematics using Haskell☆72Updated 5 years ago