kerberosmansour / TLA_AutoRepair
A TLA+ AutoRepair System For Formal Specification with GPT-4
☆14Updated last year
Related projects: ⓘ
- xargs for semgrep☆22Updated 5 months ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆28Updated 2 months ago
- Proof of concept for a generative AI application framework powered by WebAssembly and Extism☆14Updated last year
- A distributed execution framework built upon lunatic.☆16Updated 8 months ago
- Rust crates for XetHub☆32Updated last week
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆30Updated 6 months ago
- Rust LLM Stream Analyzer and Content Generator☆15Updated 4 months ago
- ☆15Updated 6 months ago
- A Terminal User Interface-based application for browsing Hacker News, written in Rust.☆22Updated this week
- A Unikernel running WebAssembly code☆47Updated last year
- Copies of prolog solvers for use from python☆14Updated 2 months ago
- ContainerYard is a declarative, reproducible, and reusable decentralized approach for defining containers.☆35Updated last month
- Fun with wgpu: Simulating slime mold☆24Updated 3 weeks ago
- Diagrams as text tool for visualizing concurrent operation histories☆19Updated last year
- A Rust library to deconstruct DNS SPF records☆16Updated 4 months ago
- Minimal Prolog implemented in Rust☆36Updated this week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆37Updated last month
- A Universal Configuration Grammar☆36Updated 6 months ago
- The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once!☆54Updated 2 weeks ago
- Distributed, fault tolerant, strongly consistent, performant (event)log in Rust☆16Updated last year
- A framework for collecting a large human-sourced chain-of-thoughts dataset☆12Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Common User Passwords Profiler (CUPP) in Rust☆21Updated last month
- dynamically extendable Rayon parallel iterator☆9Updated 3 years ago
- A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust.☆15Updated last week
- 😎 A curated list of WebAssembly runtimes☆50Updated last week
- Render, select coordinates, export to video and more.☆14Updated 4 months ago
- Query databases and tables with AI assistance☆14Updated 5 months ago
- Block-level copy-on-write tool☆17Updated last year
- A low-level, cross-platform port scanner and packet flooder written in Rust.☆13Updated 2 months ago