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
  ☆75Updated 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
• 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 6 years ago
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆99Updated 10 months ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years 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
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 4 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 4 years ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆468Updated 5 years ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• lion137 / Fundamental_Algorithms
  Fundamental algorithms
  ☆93Updated 5 years ago
• pim-book / programmers-introduction-to-mathematics
  Code for A Programmer's Introduction to Mathematics
  ☆3,569Updated 2 years ago
• neilwithdata / mastery-with-sql
  Setup files for Mastery with SQL - A hands-on practical course for learning modern SQL!
  ☆76Updated 4 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• CMU-313 / CMU-313.github.io
  website for CMU 17-313
  ☆45Updated this week
• nqureshi / sars-cov-2
  Analysis of the SARS-CoV-2 genome
  ☆57Updated 4 years ago
• fastai / dotfiles
  ☆41Updated 4 months ago
• shawwn / wiki
  Research wiki
  ☆51Updated 2 years ago
• jsomers / hacker-classics
  Classic Hacker News stories
  ☆145Updated 5 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 10 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last week
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆471Updated 6 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 8 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated this week
• jamesstoneco / docsthursday
  Presentation materials for the Docs Thursday presentation at @futurice
  ☆35Updated 6 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆491Updated 4 months ago
• stared / thinking-in-tensors-writing-in-pytorch
  Thinking in tensors, writing in PyTorch (a hands-on deep learning intro)
  ☆359Updated 2 months ago