Agnishom / lregexView external linksLinks
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
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- A textual language for binary data.☆37Jun 13, 2022Updated 3 years ago
- A functional fluent API generator☆35Dec 30, 2022Updated 3 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 2 years ago
- ☆14Apr 5, 2023Updated 2 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- egraphs-good website☆18Oct 9, 2024Updated last year
- A modular shell☆17Feb 7, 2015Updated 11 years ago
- The Pulse separation logic DSL for F*☆31Updated this week
- ☆19Nov 21, 2022Updated 3 years ago
- ☆21Mar 15, 2016Updated 9 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- A formally verified compiler for a simple language with numbers and sums☆27Nov 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
- User-configurable login shell configured by the SHELLS environment variable.☆23Jun 7, 2025Updated 8 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Haskell implementation of the KDL Document Language☆27Dec 15, 2025Updated last month
- Building A Correct-By-Construction Proof Checkers For Type Theories☆29Jan 15, 2026Updated 3 weeks ago
- A new declarative programming language☆24Oct 12, 2020Updated 5 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 10 months ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 4 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
- Installer builder using SVN back-end database and S3 storage☆10Jan 26, 2026Updated 2 weeks ago
- The Behringer X32 Scene File of Saddleback Berlin Church's Production Team.☆12Apr 29, 2023Updated 2 years ago
- A toy dependent typed language.☆36Updated this week
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated 2 weeks ago
- Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.☆14Jul 19, 2018Updated 7 years ago
- ☆11Jan 29, 2026Updated 2 weeks ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- A WIP definitional (co)datatype package for Lean4☆47Oct 23, 2025Updated 3 months ago