Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
☆85Mar 16, 2026Updated this week
Alternatives and similar repositories for tla-precheck
Users that are interested in tla-precheck are comparing it to the libraries listed below
Sorting:
- WebNN (WNN) is a JavaScript framework for distribution and training of Neural Networks (NN) through the internet. This is a large part of…☆10May 12, 2018Updated 7 years ago
- tmux-based multi-AI CLI swarm collaboration framework☆35Mar 11, 2026Updated last week
- List of agent orchestrators☆55Updated this week
- Repo of the scripts I'm using to work with Claude and Gemini☆31Mar 8, 2026Updated last week
- A living document for a dying world.☆24Aug 21, 2025Updated 6 months ago
- ☆14Nov 20, 2024Updated last year
- This is the working area for the ToIP Technology Architecture specification.☆11May 23, 2025Updated 9 months ago
- A tiny model that teaches itself to code better. On your laptop. No cloud. No teacher model. No human feedback.☆53Mar 10, 2026Updated last week
- A Subjective Web-of-Trust for Decentralized Moderation and Peer Review☆13Jan 20, 2024Updated 2 years ago
- OpenCode GUI extension for VSCode☆23Mar 11, 2026Updated last week
- A local-first AI engineering agent that learns from your codebase using DSPy.☆44Feb 22, 2026Updated 3 weeks ago
- Implementation of Recursive Language Model paper from scratch☆38Feb 10, 2026Updated last month
- ☆10Oct 27, 2020Updated 5 years ago
- simple browser based 3d game☆10Jan 16, 2022Updated 4 years ago
- ☆52Mar 4, 2026Updated 2 weeks ago
- MCP Server for Coding Standards - providing standardized coding guidelines and best practices☆16Aug 13, 2025Updated 7 months ago
- Claude Code skill + real-time diagram server. Ask Claude to draw flowcharts, architecture diagrams, and dependency maps — watch them appe…☆62Feb 12, 2026Updated last month
- ☆43Updated this week
- Jito Labs Documentation☆20Feb 23, 2026Updated 3 weeks ago
- Unreal Engine to Ethereal Engine Backend Bridge☆12Aug 4, 2023Updated 2 years ago
- Natively multithreaded physics for threejs with PhysX.☆15Sep 4, 2021Updated 4 years ago
- Your prompt sucks. Let's fix that. Interactive interview → structured prompt → quality scored → ready to execute.☆87Updated this week
- Prompts for GraphRAG☆28Jul 19, 2024Updated last year
- The hiring challenge for AI-native marketers. Beat Claude to get an interview.☆76Mar 6, 2026Updated last week
- API for validators data; Scoring based on which Marinade stakes to validators☆26Jan 29, 2026Updated last month
- ☆21Mar 15, 2022Updated 4 years ago
- Tool to download historical data from major cryptocurrency exchanges via API.☆10Feb 15, 2026Updated last month
- User guide CodeIgniter berbahasa Indonesia☆12Mar 10, 2017Updated 9 years ago
- Opperator is a framework for building and running general AI agents locally from your terminal☆159Nov 22, 2025Updated 3 months ago
- Landing page for codeigniter indonesia community☆12Jun 27, 2019Updated 6 years ago
- Electron shell for mrmd - Zen Markdown Editor with real-time collaboration☆33Mar 9, 2026Updated last week
- RawAccel Profile Switcher allows you to quickly save and switch between different RawAccel settings from the Command-Line Interface.☆11Sep 9, 2023Updated 2 years ago
- Encapsulate dom-anchor-text-quote and dom-anchor-text-position for use in browser scripts☆13Sep 2, 2021Updated 4 years ago
- Python repo for the XDK auto-generated code.☆22Feb 28, 2026Updated 2 weeks ago
- Save yourself from the purple AI slop when using the Codex Frontend Skill☆20Jan 3, 2026Updated 2 months ago
- repository for multishot system builder prototype☆16Jul 21, 2022Updated 3 years ago
- ☆22Aug 3, 2022Updated 3 years ago
- a free vulnerability and security scanner for vibe coders, with 2000+ rulesets, and copy pasteable Master AI Fix Prompt to fix vulnerabil…☆115Mar 4, 2026Updated 2 weeks ago
- ☆21Nov 3, 2022Updated 3 years ago