Alternatives and similar repositories for lregex:

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

• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 2 months ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• jkoppel / ecta
  ☆35Updated last year
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 6 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 8 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated 3 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆75Updated last week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆34Updated last month
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 10 months ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 2 months ago
• harp-lab / gdlog
  ☆81Updated 6 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 10 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• brurucy / materialized-view
  ☆17Updated 9 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 7 months ago