Alternatives and similar repositories for lregex

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

• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆37Updated 2 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 4 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆15Updated 2 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆27Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆52Updated 4 months ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 5 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆60Updated 2 months ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆28Updated 3 weeks ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 9 months ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 4 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• brurucy / materialized-view
  ☆18Updated last month
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• harp-lab / gdlog
  ☆82Updated 7 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• jkoppel / ecta
  ☆35Updated last year
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• tpetricek / tiny-boxer
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆22Updated 3 weeks ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 6 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated this week
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆29Updated 8 months ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year