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
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- An interactive Datalog☆64Updated this week
- vertical + gpu + free join + datalog☆21Updated 11 months ago
- Slog 1.0☆46Updated last year
- A notional machine for the SMoL languages☆21Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- ☆87Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- My personal standard for how to set up a Javascript workspace☆15Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated 3 weeks ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated this week
- A command-line parser for Standard ML☆21Updated 3 weeks ago
- CN separation logic refinement type system for C☆44Updated last month
- From Zero to QED: An informal introduction to formality with Lean 4☆85Updated this week
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- The Daedalus data description language☆87Updated this week
- Execute and document benchmarks reproducibly.☆97Updated 6 months ago
- Memory Management ToolKit☆37Updated 6 months ago
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.☆28Updated this week
- The Cubicle model checker☆14Updated 2 weeks ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated 3 years ago
- A functional fluent API generator☆35Updated 3 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆20Updated last year
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆44Updated this week