rtoal / ple

Related projects ⓘ

Alternatives and complementary repositories for ple

• darius / code-canon
  A catalog of code worth reading
  ☆112Updated 7 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 5 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 6 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆48Updated last month
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆154Updated 4 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆119Updated 11 years ago
• munificent / lark
  The Lark programming language.
  ☆59Updated 14 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆129Updated 2 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆221Updated 4 years ago
• hellerve / ptolemy
  My reading list
  ☆81Updated 2 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆62Updated 6 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆74Updated last year
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆60Updated 2 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆108Updated 8 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆59Updated 9 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆22Updated 8 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆180Updated 5 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆77Updated 2 years ago
• sparist / Om
  The Om programming language.
  ☆168Updated last month
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆73Updated 4 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated 10 months ago
• jvns / gzip.jl
  Gzip in julia! =D =D
  ☆161Updated 6 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆58Updated 5 years ago
• a-nikolaev / study-in-scarlet
  A simple Unix-friendly toolkit for plagiarism detection.
  ☆18Updated 4 years ago