Alternatives and similar repositories for practice:

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

• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 5 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆42Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 7 years ago
• rtoal / ple
  Programming Language Explorations
  ☆94Updated this week
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• raganwald / combinators.info
  ☆23Updated 12 years ago
• plasma-umass / DataDebug
  Excel 2010/2013 add-in that automatically finds errors in spreadsheets
  ☆48Updated 9 years ago
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• Mortiniera / Data_Science_Portfolio
  Data Science Portfolio completed both in the academia and for self-learning.
  ☆62Updated 5 years ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆15Updated 4 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated 2 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 10 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• yewalenikhil65 / Resources-for-engineering-students-who-like-mathematics
  This is a collection of resources that I feel will prove useful to anyone studying in the area of engineering but also like mathematics. …
  ☆80Updated 2 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆31Updated 6 years ago
• amontalenti / compiler
  Experiments with compilers written in Python
  ☆22Updated 13 years ago
• tenebrousedge / shell_guide
  What Kai Thinks Every Developer Should Know About The Shell
  ☆25Updated 7 years ago
• phillipjohnson / sql-koans
  A set of Koans to teach SQL http://sqlkoans.com
  ☆43Updated last year
• alephyud / bel
  A mirror of Paul Graham's Bel source code and documentation, formatted
  ☆50Updated 2 years ago
• komu / ahwen
  A simple SQL database
  ☆69Updated 5 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• cwensel / notebook
  Random notes on distributed computing and stuff.
  ☆10Updated 8 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks ago
• OxfordRSE / rsd-engineeringcourse
  Course materials for Research Software Engineering course.
  ☆45Updated 5 years ago