Alternatives and similar repositories for TLA_AutoRepair

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

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated 2 years ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆32Updated last year
• ceylonai / ceylon
  Efficient multi-agent task automation and management system.
  ☆30Updated 3 weeks ago
• jcbhmr / awesome-webassembly-runtimes
  😎 A curated list of WebAssembly runtimes
  ☆59Updated 8 months ago
• cratesland / spath
  Query expressions for semi-structured data
  ☆59Updated 5 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• icholy / semgrepx
  xargs for semgrep
  ☆28Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• mstone / depict
  depict – share mental models better
  ☆37Updated 2 years ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 11 months ago
• eeroel / hae
  Like grep but with natural language queries
  ☆50Updated last year
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated last year
• fsaintjacques / recordlite
  ☆50Updated 2 months ago
• singlestore-labs / wasi-data
  WASI Data Proposal
  ☆46Updated 3 years ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆143Updated 2 months ago
• gabotechs / signway
  Bring the power of pre-signed URLs to your apps. Signway is a gateway for redirecting ephimeral signed URLs to the requested API
  ☆97Updated last year
• maxpert / rues
  Rule evaluation sidecar
  ☆18Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆39Updated 3 months ago
• openthesis / openthesis
  [WIP] Open-source alternative to Antithesis.
  ☆18Updated last year
• skeeto / illume
  scriptable command line program for LLM interfacing
  ☆82Updated 2 weeks ago
• hamin / jlq
  ☆69Updated 2 years ago
• hypirion / time-travelling-todo-lists-in-postgres
  An implementation of system-versioned tables in Postgres using only triggers, with a time travelling todo app as a showcase.
  ☆33Updated last year
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated last month
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• hbcondo / revenut-app
  A web + mobile app (PWA) with Stripe integration for forecasting SaaS revenue
  ☆38Updated last year
• GreatTA1998 / explanations.io
  Web platform for blackboard-video explanations
  ☆18Updated 2 months ago
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆56Updated last year