rtoal / pleLinks
Programming Language Explorations
☆97Updated last week
Alternatives and similar repositories for ple
Users that are interested in ple are comparing it to the libraries listed below
Sorting:
- Python term rewriting☆30Updated 12 years ago
- A catalog of code worth reading☆112Updated 8 years ago
- Code for http://oilshell.org/blog/☆50Updated last month
- My personal website☆98Updated last week
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆123Updated 12 years ago
- The Lark programming language.☆58Updated 15 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆111Updated 9 years ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- My reading list☆84Updated 3 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆335Updated 4 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Short essays I've written☆78Updated last year
- A PEG that compiles itself.☆76Updated 14 years ago
- A terse Prolog course☆43Updated 6 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- interactive programming tutorials, powered by Github and Docker☆144Updated 3 months ago
- Smallish programs written to learn something.☆51Updated last year
- Yet Another Compiler Visualizer☆158Updated 4 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Lecture notes and code from class☆15Updated 8 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- Various Futhark benchmark programs☆42Updated last month
- Educational tool for relational algebra☆92Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- ☆120Updated 9 months ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month