Alternatives and similar repositories for TLA_AutoRepair

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

• pyrustic / paradict
  Streamable multi-format serialization with schema
  ☆22Updated 5 months ago
• cachix / gptcomment
  ☆16Updated last year
• irthomasthomas / llm-cerebras
  llm plugin for Cerebras fast inference API
  ☆26Updated 2 months ago
• ceylonai / ceylon
  Efficient multi-agent task automation and management system.
  ☆28Updated 3 months ago
• nicholaschiasson / fcidr
  Fragmented Classless Inter-Domain Routing (FCIDR)
  ☆16Updated last year
• avahowell / offeryn
  Build tools for LLMs in Rust using Model Context Protocol
  ☆38Updated 3 months ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated this week
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• brurucy / materialized-view
  ☆18Updated 3 weeks ago
• profullstack / sans
  Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.
  ☆16Updated 2 months ago
• orbitinghail / splinter-rs
  A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.
  ☆27Updated last week
• openthesis / openthesis
  [WIP] Open-source alternative to Antithesis.
  ☆15Updated 10 months ago
• cratesland / spath
  Query expressions for semi-structured data
  ☆54Updated 3 months ago
• mrsuh / sqlite-index
  ☆11Updated 6 months ago
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 8 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆23Updated last month
• BloopAI / llm
  An ecosystem of Rust libraries for working with large language models
  ☆11Updated last year
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated 10 months ago
• eatonphil / pgexec
  Messing with Postgres query execution and hook infrastructure.
  ☆13Updated last year
• s2-streamstore / s2-sdk-rust
  Rust SDK for S2
  ☆35Updated last week
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 9 months ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆21Updated 3 months ago
• danthegoodman1 / IceDBS3Proxy
  IceDB S3 Proxy to trick S3 clients into only seeing alive files
  ☆13Updated last year
• weso / pregel-rs
  A Graph library written in Rust for implementing your own algorithms in a Pregel fashion
  ☆11Updated 5 months ago
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated last year
• mstone / depict
  depict – share mental models better
  ☆37Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago