Alternatives and similar repositories for POPL:

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

• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• mflatt / gc-demo
  ☆85Updated 4 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• reborg / jscheme
  Jscheme (Scheme (in Java (by Peter Norvig)))
  ☆52Updated 6 years ago
• racket / racket-lang-org
  ☆70Updated last week
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆62Updated 3 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 3 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆72Updated 6 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Updated 3 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆52Updated 15 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆82Updated 5 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆75Updated last year
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago