Alternatives and similar repositories for TLA_AutoRepair

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

• mstone / depict
  depict – share mental models better
  ☆37Updated 2 years ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 10 months ago
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• Qrlew / qrlew
  ☆45Updated 6 months ago
• ceylonai / ceylon
  Efficient multi-agent task automation and management system.
  ☆29Updated 4 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• cachix / gptcomment
  ☆16Updated last year
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated 2 years ago
• pyrustic / paradict
  Streamable multi-format serialization with schema
  ☆22Updated 6 months ago
• Lips7 / Matcher
  A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust.
  ☆17Updated 2 weeks ago
• thomastschurtschenthaler / ytviewer
  Youtube Viewer Bookmarklet
  ☆17Updated this week
• thegoodduck / Dillusion
  Dillusion is the dillo of the future
  ☆9Updated 11 months ago
• profullstack / sans
  Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.
  ☆16Updated 3 months ago
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 9 months ago
• fission-codes / spec
  ☆11Updated last year
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated 11 months ago
• icholy / semgrepx
  xargs for semgrep
  ☆28Updated last year
• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆23Updated last month
• avahowell / offeryn
  Build tools for LLMs in Rust using Model Context Protocol
  ☆38Updated 4 months ago
• nicholaschiasson / fcidr
  Fragmented Classless Inter-Domain Routing (FCIDR)
  ☆16Updated last year
• brendandburns / caddy-wasm
  WebAssembly (WASM) extension for the caddy2 web server.
  ☆16Updated 10 months ago
• rust-cv / hgg
  Hierarchical Greedy Graph
  ☆15Updated 2 years ago
• rustshop / loglog
  Distributed, fault tolerant, strongly consistent, performant (event)log in Rust
  ☆19Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 3 months ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆27Updated 7 months ago
• remram44 / cowblock
  Block-level copy-on-write tool
  ☆18Updated 6 months ago
• muratdem / MDBTLA
  High level model for MongoDB consistency
  ☆13Updated this week
• LovetheFrogs / OptiGraph
  Optimum graph creation and distribution for underground networks.
  ☆34Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago