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
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆33Updated last week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 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…
  ☆149Updated 2 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆60Updated 3 weeks ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆21Updated 8 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆41Updated 4 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 6 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated 2 weeks ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• harp-lab / gdlog
  ☆83Updated 10 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆92Updated 2 months 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 last year
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated last month
• graydon / exhaustigen
  ☆11Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 months ago
• vmchale / apple
  Apple array system
  ☆67Updated this week