Alternatives and similar repositories for practice:

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

• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 6 years ago
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆85Updated 9 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 7 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 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
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆20Updated 3 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• prashantpandey10 / AllAboutCompetitiveProgramming
  ☆14Updated 6 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
• raganwald / combinators.info
  ☆23Updated 11 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆221Updated 4 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• lemire / programmingishard
  Long-term book project
  ☆34Updated 3 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• rtoal / ple
  Programming Language Explorations
  ☆93Updated this week
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆99Updated 9 months ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year