rtoal / ple

Related projects: ⓘ

• darius / code-canon
  A catalog of code worth reading
  ☆111Updated 7 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆47Updated 2 months ago
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 5 years ago
• hellerve / ptolemy
  My reading list
  ☆80Updated 2 years ago
• munificent / lark
  The Lark programming language.
  ☆59Updated 14 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 14 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆122Updated 9 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆138Updated last month
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 5 years ago
• Unibeautify / sparser
  A framework of various language parsers
  ☆91Updated 3 weeks ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆213Updated 5 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆161Updated 2 months ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆129Updated 2 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆82Updated 7 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 2 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆58Updated 4 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆35Updated 3 months ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆74Updated 2 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆127Updated 6 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆79Updated 2 years ago
• jorendorff / talks
  Some talks I've given
  ☆90Updated last year
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 5 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆119Updated 11 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 4 months ago
• cmsc430 / www
  CMSC 430 Design and Implementation of Programming Languages
  ☆45Updated last week
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• buntine / Simply-Scheme-Exercises
  All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
  ☆111Updated 6 years ago