Agnishom / lregex
Verified and Efficient Matching of Regular Expressions with Lookaround
☆23Updated 3 months ago
Alternatives and similar repositories for lregex:
Users that are interested in lregex are comparing it to the libraries listed below
- Datalog + Egg = Good☆66Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆29Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- ☆11Updated 3 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated this week
- Run erlang as a WASI http server (vapourware)☆26Updated 4 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- ☆80Updated 5 months ago
- ☆34Updated 11 months ago
- Reader to enable embedding images in source files as text☆19Updated 3 months ago
- Execute and document benchmarks reproducibly.☆90Updated last month
- a self-hosting lambda calculus compiler☆35Updated 4 years ago
- Minimal Prolog implemented in Rust☆43Updated 6 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 11 months ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- McLulang: The message is the language☆10Updated 7 months ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 9 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Memory Management ToolKit☆33Updated last month
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆38Updated last month
- Some papers on "Lambda Calculus"☆28Updated 2 weeks ago
- The Pulse separation logic DSL for F*☆14Updated this week
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆34Updated last week