A teaching aid library for formal languages and compiler courses
☆13May 23, 2025Updated 9 months ago
Alternatives and similar repositories for liblet
Users that are interested in liblet are comparing it to the libraries listed below
Sorting:
- The LAW next generation crawler.☆91Nov 4, 2021Updated 4 years ago
- Generate regexes that test arbitrary numbers for divisibility by other numbers,☆26Jun 6, 2019Updated 6 years ago
- An LLM-first programming language.☆33Oct 6, 2025Updated 5 months ago
- https://taxonomicallyinformedannotation.github.io/tima☆12Updated this week
- Download your books from Samona as PDFs.☆20Jan 27, 2026Updated last month
- ☆12Dec 16, 2024Updated last year
- Transform Oracle PL/SQL Code to Python☆11Oct 26, 2013Updated 12 years ago
- CDS design research team handbook / Guide de recherche en conception du SNC☆10Updated this week
- A repository for cybersecurity students☆41Feb 24, 2024Updated 2 years ago
- HTML TO RSX☆13Apr 17, 2025Updated 10 months ago
- Generating Summaries with Controllable Readability Levels (EMNLP 2023)☆15Aug 6, 2025Updated 7 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- d0SL (Delta0 Semantic Language) effectively represents an AI 2.0 platform for autonomous decision making systems based on a semantic mode…☆10Mar 18, 2022Updated 3 years ago
- openCRX Documentation☆11Jun 19, 2025Updated 8 months ago
- SuperHTML support for zed☆12Feb 25, 2026Updated last week
- ☆10Oct 27, 2024Updated last year
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated 2 months ago
- A rust interface to http://openml.org/☆12Jul 13, 2019Updated 6 years ago
- IDE backend for Julia☆27Dec 8, 2015Updated 10 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆17Dec 27, 2025Updated 2 months ago
- Python library for BER-TLV en-/decoding☆11Mar 13, 2023Updated 2 years ago
- IPv4 / IPv6 network abstractions for Julia☆13Jan 14, 2026Updated last month
- A Management Webinterface for rust-rpxy☆18Sep 7, 2025Updated 6 months ago
- For using thread locals within an async context and across await points☆13May 13, 2025Updated 9 months ago
- Adds size optimizations to any Perseus app automatically.☆10Apr 20, 2022Updated 3 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- A lightweight, accessible, vanilla JavaScript modal component.☆16Apr 14, 2019Updated 6 years ago
- A Julia package for interfacing with CQL compliant databases.☆15Sep 11, 2022Updated 3 years ago
- A guide to structured generation using constrained decoding☆14Jun 9, 2024Updated last year
- A WebAssembly eBPF runtime based on wasmtime in rust☆11Feb 20, 2023Updated 3 years ago
- A simple Finite State Machine generator for C.☆11Mar 5, 2023Updated 3 years ago
- Modular, cohesive, transparent and fast web server template☆21Apr 23, 2021Updated 4 years ago
- Formatting for ANSI colored strings in Julia☆13Mar 8, 2022Updated 4 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- uncompress, parse and load tool for csv, xls, xlsx, text☆14Sep 11, 2018Updated 7 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 4 months ago