kerberosmansour / TLA_AutoRepairLinks
A TLA+ AutoRepair System For Formal Specification with GPT-4
☆14Updated last year
Alternatives and similar repositories for TLA_AutoRepair
Users that are interested in TLA_AutoRepair are comparing it to the libraries listed below
Sorting:
- Fun with wgpu: Simulating slime mold☆24Updated 10 months ago
- High level model for MongoDB consistency☆13Updated 2 weeks ago
- Web platform for blackboard-video explanations☆18Updated last month
- Query expressions for semi-structured data☆59Updated 4 months ago
- [WIP] Open-source alternative to Antithesis.☆17Updated last year
- Optimum graph creation and distribution for underground networks.☆34Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Rule evaluation sidecar☆18Updated last year
- Query databases and tables with AI assistance☆19Updated 2 months ago
- Like grep but with natural language queries☆50Updated last year
- A simpler jq, and with JSONPath☆41Updated 2 years ago
- Framework for creating scaffolds for any existing programming language with a customizable TUI.☆65Updated 7 months ago
- Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.☆16Updated 3 months ago
- Demo of interning in Rust applied to RATP's disruptions API☆11Updated 4 months ago
- a very (x 10) basic wasm console☆21Updated last year
- a minimal lisp dialect REPL written entirely in rust☆22Updated 3 weeks ago
- A Unikernel running WebAssembly code☆50Updated 2 years ago
- Run erlang as a WASI http server (vapourware)☆27Updated 8 months ago
- Efficient multi-agent task automation and management system.☆29Updated this week
- Simplifying service configuration management☆24Updated 11 months ago
- Blueprint by Mozilla.ai for answering questions about structured documents☆35Updated 4 months ago
- Geniusrise: Framework for building geniuses☆60Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Streamable multi-format serialization with schema☆22Updated 7 months ago
- ☆11Updated 8 months ago
- The Endatabas Book☆16Updated 10 months ago
- A simple github actions script to build a llamafile and uploads to huggingface☆15Updated last year
- PuppyGraph standalone web server for visualize graph queries.☆32Updated 4 months ago
- Compression suite for data frames and tabular data files, csv, excel etc. Using LZHW algorithm.☆30Updated 10 months ago