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
  ☆43Updated 6 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• rtoal / ple
  Programming Language Explorations
  ☆97Updated last month
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 8 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 6 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• empirical-soft / empirical-lang
  A language for time-series analysis
  ☆173Updated 4 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆31Updated 5 years ago
• komu / ahwen
  A simple SQL database
  ☆69Updated 11 months ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆225Updated 4 years ago
• amontalenti / compiler
  Experiments with compilers written in Python
  ☆22Updated 13 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• arun1729 / road-network
  QuadTree Model for generating random road network
  ☆74Updated 6 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• 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
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆103Updated 3 months ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago