Alternatives and similar repositories for TLA_AutoRepair:

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

• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆19Updated last month
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 6 months ago
• cachix / gptcomment
  ☆15Updated last year
• justinpombrio / jj-notes
  Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.
  ☆26Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 8 months ago
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated 8 months ago
• thegoodduck / Dillusion
  Dillusion is the dillo of the future
  ☆9Updated 8 months ago
• pyrustic / paradict
  Streamable multi-format serialization with schema
  ☆22Updated 3 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 or Gitlab.
  ☆28Updated this week
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated last year
• ceylonai / ceylon
  Efficient multi-agent task automation and management system.
  ☆26Updated last month
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 7 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated last month
• GreatTA1998 / explanations.io
  Web platform for blackboard-video explanations
  ☆18Updated last week
• zaphar / ucg
  A Universal Configuration Grammar
  ☆37Updated last year
• icholy / semgrepx
  xargs for semgrep
  ☆26Updated last year
• brendandburns / caddy-wasm
  WebAssembly (WASM) extension for the caddy2 web server.
  ☆15Updated 7 months ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated this week
• huggingface / candle-cublaslt
  ☆12Updated last year
• triblespace / tribles-rust
  ☆27Updated 3 weeks ago
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• irthomasthomas / llm-cerebras
  llm plugin for Cerebras fast inference API
  ☆24Updated 3 weeks ago
• rustshop / loglog
  Distributed, fault tolerant, strongly consistent, performant (event)log in Rust
  ☆18Updated last year
• WebAssembly / wasi-sql-embed
  ☆26Updated 2 months ago
• BloopAI / llm
  An ecosystem of Rust libraries for working with large language models
  ☆11Updated last year
• cratesland / spath
  Query expressions for semi-structured data
  ☆54Updated last month
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year
• cyclelabscloud / cycle-cloud
  Repository to allow collaboration between Cycle Labs Cloud community in support of the community.
  ☆9Updated 3 years ago