Alternatives and similar repositories for ple:

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

• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 5 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆49Updated this week
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆333Updated 4 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• wiredsister / free-software-computer-science-graphics
  A free software repository of infographics and visualizations for understanding Computer Science ideas
  ☆22Updated 6 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 6 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 11 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆65Updated 7 years ago
• hellerve / ptolemy
  My reading list
  ☆81Updated 2 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 2 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 3 months ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆306Updated last year
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆140Updated 5 months ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• photonlines / Intuitive-Overview-of-Linear-Algebra-Fundamentals
  An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.
  ☆99Updated 5 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆129Updated 2 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆215Updated 2 years ago
• smeruelo / mooc-ocaml
  Functional Programming in OCaml MOOC
  ☆36Updated 5 years ago
• Unibeautify / sparser
  A framework of various language parsers
  ☆96Updated last week
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆95Updated 5 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 7 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆62Updated 6 years ago
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated 8 months ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆62Updated 2 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆73Updated 5 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago