let-unimi / libletLinks
A teaching aid library for formal languages and compiler courses
☆12Updated 4 months ago
Alternatives and similar repositories for liblet
Users that are interested in liblet are comparing it to the libraries listed below
Sorting:
- CHR2 to SQL conversion☆14Updated 10 years ago
- A general purpose relational language☆19Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Execute and document benchmarks reproducibly.☆95Updated 3 months ago
- Parallel Programming in Futhark☆49Updated last month
- Various Futhark benchmark programs☆42Updated 2 months ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- ☆34Updated 5 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 7 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated 2 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆16Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- purple: compiling a reflective language☆33Updated 11 months ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- interactive programming tutorials, powered by Github and Docker☆143Updated 4 months ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago