rtoal / pleLinks
Programming Language Explorations
☆98Updated last week
Alternatives and similar repositories for ple
Users that are interested in ple are comparing it to the libraries listed below
Sorting:
- Code for http://oilshell.org/blog/☆50Updated 2 months ago
- The Lark programming language.☆58Updated 15 years ago
- A catalog of code worth reading☆113Updated 8 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Short essays I've written☆79Updated last year
- Educational tool for relational algebra☆92Updated last year
- My reading list☆84Updated 3 years ago
- a minimal vector programming language☆181Updated 5 years ago
- My personal website☆101Updated this week
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- Yet Another Compiler Visualizer☆158Updated 4 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 7 years ago
- Python term rewriting☆30Updated 12 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- A terse Prolog course☆43Updated 6 years ago
- ☆42Updated 9 years ago
- A new logic programming language.☆175Updated 2 years ago
- Variaous articles☆79Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 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
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- A compiler for a lisp-like language targeting LLVM IR, x86 assembly☆132Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Gzip in julia! =D =D☆164Updated 7 years ago
- a little JIT VM language for (probably/eventually) terminal UI apps.☆61Updated 7 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- The Om programming language.☆174Updated last year