kerberosmansour / TLA_AutoRepair
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
- Streamable multi-format serialization with schema☆22Updated last month
- A filter proxy for StatsD☆23Updated 2 years ago
- A Unikernel running WebAssembly code☆50Updated last year
- xargs for semgrep☆22Updated 10 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated 10 months ago
- Semantic Indexer☆51Updated 3 months ago
- Proof of concept for a generative AI application framework powered by WebAssembly and Extism☆14Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Distributed, fault tolerant, strongly consistent, performant (event)log in Rust☆17Updated last year
- A distributed hash table with unusually strong security properties☆65Updated 5 years ago
- A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust.☆16Updated 2 weeks ago
- Dillusion is the dillo of the future☆9Updated 6 months ago
- Fun with wgpu: Simulating slime mold☆24Updated 5 months ago
- Optimum graph creation and distribution for underground networks.☆33Updated 7 months ago
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆37Updated this week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆40Updated 5 months ago
- An ecosystem of Rust libraries for working with large language models☆11Updated last year
- c'est le marché☆39Updated last year
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated 2 months ago
- Query expressions for semi-structured data☆53Updated 3 weeks ago
- Identify and automatically fix issues in shell scripts☆14Updated last year
- ☆11Updated last year
- Web platform for blackboard-video explanations☆18Updated this week
- A minimal Rust image paste service☆15Updated last month
- A star for organising blocks and playing with transformers.☆23Updated 9 months ago
- Postgres extensions to support end-to-end Retrieval-Augmented Generation (RAG) pipelines☆36Updated this week
- Example usages of the Scaffoldly toolchain.☆14Updated last month
- Columnar database on SSD NVMe☆12Updated 3 years ago