Alternatives and similar repositories for exercises:

Users that are interested in exercises are comparing it to the libraries listed below

• j2kun / essays
  Short essays I've written
  ☆76Updated last year
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆488Updated 4 years ago
• radekosmulski / aiquizzes-anki
  ☆152Updated 2 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• lion137 / Fundamental_Algorithms
  Fundamental algorithms
  ☆93Updated 5 years ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆108Updated 4 years ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆53Updated 5 years ago
• photonlines / Intuitive-Overview-of-Linear-Algebra-Fundamentals
  An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.
  ☆99Updated 5 years ago
• zedshaw / learn-painting-the-hard-way
  A Simple Introduction To The Application Of Pigment To A Surface To Look Like A Thing
  ☆48Updated 6 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆83Updated 7 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆333Updated 4 years ago
• rtoal / ple
  Programming Language Explorations
  ☆92Updated this week
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 8 months ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆214Updated 5 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆132Updated 4 years ago
• mbutterick / beautiful-racket
  Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]
  ☆288Updated 3 years ago
• Eiriksmal / lawler-dot-io-template
  Pelican static site generator config for Lawler.io
  ☆65Updated last year
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆471Updated last year
• Walker-TW / Algorithm-Visualizer
  View Algorithms in the Browser! - Built with ReactJs
  ☆183Updated last year
• liaopeiyuan / zeta
  functional neural networks in ocaml
  ☆88Updated 4 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated last year
• unbalancedparentheses / the_bayes_way
  📚 The Bayes Way 🎓
  ☆33Updated 2 years ago
• mlberkeley / Data-Science-Decal-Fall-2017
  ☆43Updated 7 years ago
• victorqribeiro / randomFractal
  Random fractal or the secret behind my tree
  ☆93Updated 4 years ago
• bblais / Statistical-Inference-for-Everyone
  Introductory Statistical Inference
  ☆142Updated 10 months ago
• MikeInnes / diff-zoo
  Differentiation for Hackers
  ☆770Updated 3 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆153Updated 3 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆49Updated this week
• susam / lab
  Random experiments, exploration, and learning
  ☆83Updated last month
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆244Updated 9 months ago