Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
☆99Apr 4, 2026Updated 3 weeks ago
Alternatives and similar repositories for tla-precheck
Users that are interested in tla-precheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mobile & desktop command center for AI coding agents. Control Claude, Codex, Gemini sessions across machines from your phone — secured by…☆27Updated this week
- tmux-based multi-AI CLI swarm collaboration framework☆45Apr 16, 2026Updated last week
- Graph-vector database that queried 1 billion edges for $2.50. Rust, OpenCypher, vector search, 14 graph algorithms. 74M nodes / 1B edges …☆57Updated this week
- 7-phase deep research system for Claude Code. Multi-source verification, Graph of Thoughts methodology, domain overlays for healthcare/fi…☆18Dec 19, 2025Updated 4 months ago
- ☆10Oct 27, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- simple browser based 3d game☆10Jan 16, 2022Updated 4 years ago
- Implementation of Recursive Language Model paper from scratch☆43Feb 10, 2026Updated 2 months ago
- ☆56Apr 15, 2026Updated last week
- A tiny model that teaches itself to code better. On your laptop. No cloud. No teacher model. No human feedback.☆62Mar 10, 2026Updated last month
- MCP Server for Coding Standards - providing standardized coding guidelines and best practices☆15Aug 13, 2025Updated 8 months ago
- Find your pause - by Hanoa Studio☆73Apr 6, 2026Updated 3 weeks ago
- Unreal Engine to Ethereal Engine Backend Bridge☆12Aug 4, 2023Updated 2 years ago
- an AI that lives on your computer and does stuff for you. Public beta.☆60Apr 16, 2026Updated last week
- OpenCode GUI extension for VSCode☆33Mar 11, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Electron shell for mrmd - Zen Markdown Editor with real-time collaboration☆34Mar 20, 2026Updated last month
- 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…☆120Mar 4, 2026Updated last month
- The cli of dataverse☆115Mar 22, 2026Updated last month
- MedSearch is a Medical Knowledge Extraction System that incorporates Neural Search, Q&A, Summarization, etc. from the medical literature.☆15Jun 24, 2021Updated 4 years ago
- 🌀 an Interactive Terminal for AI (interminai) - A PTY proxy enabling AI interaction with interactive CLI applications like vim, git reba…☆46Mar 29, 2026Updated 3 weeks ago
- Ultra-minimal personal AI agent: starts small, self-modifies its code live, adapts by writing exactly the code & features you need☆215Feb 27, 2026Updated 2 months ago
- ☆60Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Codex/Claude skill that maintains per-repo operating theory documents.☆174Feb 28, 2026Updated 2 months ago
- ☆162Mar 30, 2026Updated 3 weeks ago
- 👻 Ghostty fork with vertical tabs in a sidebar.☆112Mar 19, 2026Updated last month
- A high performance lightweight ECS with a plugin ecosystem!☆23Jan 6, 2023Updated 3 years ago
- Python repo for the XDK auto-generated code.☆31Feb 28, 2026Updated 2 months ago
- https://discord.gg/h5C4eKgvGm | Panorama Street - Pump.fun Bundler is an All-In-One Pump.fun bundler tool that can bundle up to 28 wallet…☆27Sep 9, 2024Updated last year
- ☆78Updated this week
- ☆28Jan 17, 2026Updated 3 months ago
- A containerized VS Code server environment with integrated Goose AI coding assistant.☆31Mar 16, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Using Python and DSpy’s Recursive Language Model implementation to handle unbounded context lengths.☆86Oct 21, 2025Updated 6 months ago
- Native desktop automation CLI for AI agents. Control any application through OS accessibility trees with structured JSON output and deter…☆120Updated this week
- The macOS API for creating copy on write clones of files☆19Dec 26, 2025Updated 4 months ago
- A complete pipeline for training language models to write in a specific author's style using Supervised Fine-Tuning (SFT) with LoRA.☆34Dec 29, 2025Updated 4 months ago
- AI-powered login automation. Uses Claude to classify login pages and Playwright to interact with them.☆287Feb 19, 2026Updated 2 months ago
- Hatch combines four stages of product development into a single desktop app.☆82Feb 25, 2026Updated 2 months ago
- 🧠 Local semantic memory with PGlite + pgvector - budget Qdrant for AI agents☆34Dec 18, 2025Updated 4 months ago