Alternatives and similar repositories for TLA_AutoRepair

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

• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated 2 years ago
• ceylonai / ceylon
  Efficient multi-agent task automation and management system.
  ☆34Updated last month
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• aleyan / dela
  A task runner that delegates the work to other tools
  ☆43Updated this week
• frankmcsherry / datatoad
  An interactive Datalog
  ☆49Updated this week
• maxpert / rues
  Rule evaluation sidecar
  ☆18Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆41Updated 4 months ago
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆56Updated last year
• rkrishn7 / kiwi
  Kiwi powers extensible, real-time data streaming to your end users
  ☆53Updated 9 months ago
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• leoshimo / cogni
  Unix native interface to LLMs
  ☆11Updated last year
• bugout-dev / locust
  "git diff" over abstract syntax trees
  ☆56Updated last year
• jcbhmr / awesome-webassembly-runtimes
  😎 A curated list of WebAssembly runtimes
  ☆59Updated 9 months ago
• QuartzLibrary / glowpub
  A glowfic to epub converter.
  ☆12Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 6 months ago
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated last year
• myagley / opa-rs
  Open Policy Agent integration for Rust
  ☆15Updated 3 years ago
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated 8 months ago
• singlestore-labs / wasi-data
  WASI Data Proposal
  ☆46Updated 3 years ago
• s2-streamstore / s2-sdk-rust
  Rust SDK for S2
  ☆37Updated this week
• mstone / depict
  depict – share mental models better
  ☆38Updated 2 years ago
• cratesland / spath
  Query expressions for semi-structured data
  ☆59Updated 6 months ago