Verified and Efficient Matching of Regular Expressions with Lookaround
☆24Dec 18, 2024Updated last year
Alternatives and similar repositories for lregex
Users that are interested in lregex are comparing it to the libraries listed below
Sorting:
- Automata Benchmark Suite☆23Oct 23, 2023Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 3 years ago
- A textual language for binary data.☆37Jun 13, 2022Updated 3 years ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- ☆14Apr 5, 2023Updated 2 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- ☆21Mar 15, 2016Updated 9 years ago
- The Pulse separation logic DSL for F*☆34Feb 28, 2026Updated last week
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- The Ops5 programming language for production systems☆42Jan 17, 2020Updated 6 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆20Jan 19, 2025Updated last year
- A CLI tool to fetch and display unresolved GitHub PR comments☆13Feb 28, 2025Updated last year
- Haskell implementation of the KDL Document Language☆28Dec 15, 2025Updated 2 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Mirror for https://sr.ht/~johnridesabike/acutis/☆26Dec 16, 2025Updated 2 months ago
- Sound static analysis for the masses.☆50Feb 27, 2026Updated last week
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Jan 15, 2026Updated last month
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Kanban Tool Extension Development Kit☆10Feb 27, 2019Updated 7 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- Scope Graph Implementation in Rust☆29Nov 22, 2024Updated last year
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Jan 24, 2024Updated 2 years ago
- Read, modify and write DICOS files with python code☆13Nov 24, 2025Updated 3 months ago
- Installer builder using SVN back-end database and S3 storage☆10Feb 25, 2026Updated last week
- The Behringer X32 Scene File of Saddleback Berlin Church's Production Team.☆12Apr 29, 2023Updated 2 years ago
- Ambrogio is a dev agent who tackles tech debt. Starting with automatic unit tests and docstring.☆14Mar 30, 2025Updated 11 months ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.☆14Jul 19, 2018Updated 7 years ago
- ☆11Feb 28, 2026Updated last week
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- A toy dependent typed language.☆46Feb 28, 2026Updated last week