Agnishom / lregexLinks
Verified and Efficient Matching of Regular Expressions with Lookaround
☆23Updated 5 months ago
Alternatives and similar repositories for lregex
Users that are interested in lregex are comparing it to the libraries listed below
Sorting:
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- Datalog + Egg = Good☆66Updated last year
- For hosting ATS3 and developing CodeDepot☆14Updated this week
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- ☆35Updated last year
- The Pulse separation logic DSL for F*☆16Updated last week
- Two-Level Type Theory☆28Updated 5 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated 11 months ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 6 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆50Updated 3 months ago
- Slog 1.0☆42Updated 11 months ago
- Reader to enable embedding images in source files as text☆19Updated 5 months ago
- An LLM-first programming language.☆31Updated 4 months ago
- A bibliography for protocol design☆36Updated last month
- Class of data structures that can be unfolded.☆22Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated 2 weeks ago
- Your happy place for learning APL☆16Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- ☆81Updated 7 months ago
- ☆11Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- XKCD 3062☆22Updated 2 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago