rtoal / pleLinks
Programming Language Explorations
☆100Updated last week
Alternatives and similar repositories for ple
Users that are interested in ple are comparing it to the libraries listed below
Sorting:
- A catalog of code worth reading☆113Updated 8 years ago
- My reading list☆84Updated 3 years ago
- Code for http://oilshell.org/blog/☆50Updated 3 months ago
- Educational tool for relational algebra☆92Updated last year
- The Lark programming language.☆58Updated 15 years ago
- Python term rewriting☆30Updated 12 years ago
- My personal website☆102Updated this week
- A PEG that compiles itself.☆76Updated 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
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- ☆43Updated 9 years ago
- An exercise in programming language design and implementation.☆19Updated 4 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 7 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 15 years ago
- Lecture notes and code from class☆16Updated 8 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆73Updated 5 years ago
- The Om programming language.☆174Updated last year
- a minimal vector programming language☆181Updated 5 years ago
- A compiler for a lisp-like language targeting LLVM IR, x86 assembly☆133Updated 3 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆130Updated 4 years ago
- Variaous articles☆79Updated 2 years ago
- Yet Another Compiler Visualizer☆157Updated 4 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- A simple concurrent programming language.☆22Updated 5 years ago
- A new logic programming language.☆175Updated 2 years ago