Alternatives and similar repositories for TLA_AutoRepair:

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

• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• brurucy / materialized-view
  ☆17Updated 9 months ago
• pyrustic / paradict
  Streamable multi-format serialization with schema
  ☆22Updated 4 months ago
• icholy / semgrepx
  xargs for semgrep
  ☆28Updated last year
• openthesis / openthesis
  [WIP] Open-source alternative to Antithesis.
  ☆13Updated 9 months ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated last year
• LovetheFrogs / OptiGraph
  Optimum graph creation and distribution for underground networks.
  ☆33Updated 10 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 2 months ago
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 7 months ago
• rustshop / loglog
  Distributed, fault tolerant, strongly consistent, performant (event)log in Rust
  ☆18Updated last year
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated 9 months ago
• jhspetersson / git-task
  Local-first task manager/bug tracker that stores everything right in the git repository and can sync issues from/to GitHub, Gitlab or Jir…
  ☆29Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• mstone / depict
  depict – share mental models better
  ☆37Updated last year
• profullstack / sans
  Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.
  ☆16Updated last month
• avahowell / offeryn
  Build tools for LLMs in Rust using Model Context Protocol
  ☆38Updated 2 months ago
• nicholaschiasson / fcidr
  Fragmented Classless Inter-Domain Routing (FCIDR)
  ☆16Updated last year
• BloopAI / llm
  An ecosystem of Rust libraries for working with large language models
  ☆11Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆20Updated 2 months ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 5 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 8 months ago
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• orbitinghail / splinter-rs
  A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.
  ☆23Updated last week
• cratesland / spath
  Query expressions for semi-structured data
  ☆54Updated 2 months ago
• priyankark / AirCodum
  Control VS Code using your smartphone! Support for sending files, images and more. Take AI assistance when you need it.
  ☆27Updated last month
• s2-streamstore / s2-sdk-rust
  Rust SDK for S2
  ☆33Updated this week
• singlestore-labs / wasi-data
  WASI Data Proposal
  ☆46Updated 3 years ago
• loopholelabs / latensee
  A Valkey/Redis latency visualization tool
  ☆11Updated this week