let-unimi / libletLinks
A teaching aid library for formal languages and compiler courses
☆12Updated last week
Alternatives and similar repositories for liblet
Users that are interested in liblet are comparing it to the libraries listed below
Sorting:
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- A general purpose relational language☆19Updated 5 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- Copies of prolog solvers for use from python☆17Updated 10 months ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- A simple library for language and compilers building☆7Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆13Updated 2 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 9 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- an optimizing curry compiler☆14Updated 2 years ago
- ☆18Updated 3 weeks ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Website for serving Pyret to folks.☆25Updated last week
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Level-up your Hypothesis tests with CrossHair☆13Updated last week
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- Various implementation of byte matrix multiplication☆26Updated 4 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- For hosting ATS3 and developing CodeDepot☆14Updated this week
- Beating haskell with C☆11Updated 5 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago