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
• eeroel / hae
  Like grep but with natural language queries
  ☆50Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• jcbhmr / awesome-webassembly-runtimes
  😎 A curated list of WebAssembly runtimes
  ☆60Updated 10 months ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆143Updated 4 months ago
• Mcmartelle / deml
  The Directed Acyclic Graph Elevation Markup Language
  ☆74Updated 5 months ago
• icholy / semgrepx
  xargs for semgrep
  ☆28Updated last year
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆18Updated last year
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• GreatTA1998 / explanations.io
  Web platform for blackboard-video explanations
  ☆18Updated 4 months ago
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated 2 years ago
• currentspace / capn-rs
  ☆43Updated this week
• aconbere / scala-markov
  A Markov Chain Generator In Scala
  ☆13Updated 12 years ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• ceylonai / ceylon
  Efficient multi-agent task automation and management system.
  ☆34Updated 2 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 4 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated last year
• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆23Updated last month
• cachix / gptcomment
  ☆16Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆75Updated 3 months ago
• hbcondo / revenut-app
  A web + mobile app (PWA) with Stripe integration for forecasting SaaS revenue
  ☆39Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated this week
• otdav33 / Fractal-Toolkit
  Render, select coordinates, export to video and more.
  ☆14Updated last year
• progscrape / progscrape
  progscrape.com source
  ☆96Updated last month