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
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆31Updated 5 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆115Updated 8 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆22Updated 9 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
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆80Updated 4 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆144Updated 7 years ago
• liaopeiyuan / zeta
  functional neural networks in ocaml
  ☆89Updated 5 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆29Updated 4 years ago
• komu / ahwen
  A simple SQL database
  ☆69Updated last year
• bmsherman / blog
  ☆41Updated 11 years ago
• rtoal / ple
  Programming Language Explorations
  ☆102Updated last week
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆159Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆108Updated last month
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 11 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆42Updated this week
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆124Updated 6 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 6 years ago