Agnishom / lregexLinks
Verified and Efficient Matching of Regular Expressions with Lookaround
β24Updated last year
Alternatives and similar repositories for lregex
Users that are interested in lregex are comparing it to the libraries listed below
Sorting:
- Datalog + Egg = Goodβ66Updated 2 years ago
- π¦ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendβ¦β153Updated 6 months ago
- CN separation logic refinement type system for Cβ43Updated 2 weeks ago
- Forge: A Tool and Language for Teaching Formal Methodsβ94Updated 3 weeks ago
- A collection of lambda calculus interpreters and development toolsβ16Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state tracesβ74Updated 2 years ago
- A functional fluent API generatorβ35Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sedβ55Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"β36Updated 2 years ago
- β11Updated 4 years ago
- My personal standard for how to set up a Javascript workspaceβ15Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.β67Updated 2 weeks ago
- From Zero to QED: An informal introduction to formality with Lean 4β71Updated this week
- An interactive Datalogβ64Updated this week
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernelsβ116Updated last week
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.β76Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ66Updated last month
- Hash-based Diffing for AST'sβ77Updated 5 years ago
- A script for running TLA+/TLC from the command lineβ81Updated 4 years ago
- Reader to enable embedding images in source files as textβ22Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.β120Updated last month
- One-pass Code Generation in V8 (Archive)β20Updated 3 years ago
- egg is a flexible, high-performance e-graph libraryβ13Updated last year
- A notional machine for the SMoL languagesβ21Updated 2 years ago
- Slog 1.0β46Updated last year
- For hosting ATS3 and developing CodeDepotβ16Updated this week
- Reference counting with linear typesβ31Updated last month
- Modeling DNS with Alloyβ37Updated 4 years ago
- β57Updated 7 months ago
- β101Updated 10 months ago