Alternatives and similar repositories for TLA_AutoRepair:

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

• icholy / semgrepx
  xargs for semgrep
  ☆22Updated 10 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 5 months ago
• tenable / statsd-filter-proxy-rs
  A filter proxy for StatsD
  ☆23Updated 2 years ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• 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 last week
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 3 months ago
• thegoodduck / Dillusion
  Dillusion is the dillo of the future
  ☆9Updated 7 months ago
• eliben / go-quines
  Some quines in the Go programming language
  ☆15Updated last year
• cratesland / spath
  Query expressions for semi-structured data
  ☆54Updated this week
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated last year
• triblespace / tribles-rust
  ☆26Updated this week
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆20Updated 7 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• brendandburns / caddy-wasm
  WebAssembly (WASM) extension for the caddy2 web server.
  ☆15Updated 5 months ago
• irthomasthomas / llm-cerebras
  llm plugin for Cerebras fast inference API
  ☆22Updated 2 weeks ago
• kkyr / shellcheck-gpt
  Identify and automatically fix issues in shell scripts
  ☆14Updated last year
• Mati365 / hetzner-podman-bunjs-deploy
  Example of standalone application deployment to Hetzner Cloud using Rootless Podman quadlet systemd services and Ansible as IaC
  ☆35Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 5 months ago
• pyrustic / paradict
  Streamable multi-format serialization with schema
  ☆22Updated 2 months ago
• endatabas / endb-book
  The Endatabas Book
  ☆15Updated 5 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year
• codebased-sh / codebased
  Embedded AI search engine for code
  ☆20Updated 5 months ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated 10 months ago
• LovetheFrogs / OptiGraph
  Optimum graph creation and distribution for underground networks.
  ☆33Updated 7 months ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆20Updated this week
• r2d4 / dacc
  docker-as-code compiler
  ☆13Updated 3 months ago
• ecordell / cuezel
  ☆12Updated 3 years ago
• andrewchambers / hafs
  A high availability distributed filesystem built on FoundationDB and fuse.
  ☆17Updated last year