Alternatives and similar repositories for lregex

Users that are interested in lregex are comparing it to the libraries listed below

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆36Updated last week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• harp-lab / gdlog
  ☆83Updated 11 months ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 3 months ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆51Updated this week
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 2 weeks ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 8 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated 2 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated 10 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated this week
• arcfide / Haven
  Your happy place for learning APL
  ☆15Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆44Updated last year
• vmchale / apple
  Apple array system
  ☆68Updated this week
• graydon / exhaustigen
  ☆11Updated 3 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated this week
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆75Updated this week