Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
☆101Apr 4, 2026Updated last month
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:
- Context Strategy Framework: Intent → Build → Learn workflow. Preserves context in AI-generated code.☆37Jan 27, 2026Updated 3 months ago
- Mobile & desktop command center for AI coding agents. Control Claude, Codex, Gemini sessions across machines from your phone — secured by…☆29Updated this week
- generate and parse url search parameters with zod objects☆11Feb 24, 2025Updated last year
- Repo of the scripts I'm using to work with Claude and Gemini☆37May 11, 2026Updated last week
- A living document for a dying world.☆26Aug 21, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15Apr 25, 2025Updated last year
- A tiny model that teaches itself to code better. On your laptop. No cloud. No teacher model. No human feedback.☆64Mar 10, 2026Updated 2 months ago
- Find your pause - by Hanoa Studio☆75Apr 6, 2026Updated last month
- Claude Code skill + real-time diagram server. Ask Claude to draw flowcharts, architecture diagrams, and dependency maps — watch them appe…☆65Feb 12, 2026Updated 3 months ago
- Your prompt sucks. Let's fix that. Interactive interview → structured prompt → quality scored → ready to execute.☆103Updated this week
- API for validators data; Scoring based on which Marinade stakes to validators☆28May 2, 2026Updated 2 weeks ago
- Electron shell for mrmd - Zen Markdown Editor with real-time collaboration☆36Mar 20, 2026Updated last month
- Professional SEO and GEO audit workflows for brands, SaaS teams, SEO operators, agencies, and AI-search growth teams.☆144Mar 12, 2026Updated 2 months ago
- The cli of dataverse☆115Mar 22, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Sep 15, 2022Updated 3 years ago
- ☆55Mar 4, 2025Updated last year
- 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
- Reverse-engineering Claude Code's 512K+ lines of TypeScript — architecture, design decisions, and 11 transferable patterns for building A…☆161Apr 2, 2026Updated last month
- The hiring challenge for AI-native marketers. Beat Claude to get an interview.☆117May 8, 2026Updated last week
- 🌀 an Interactive Terminal for AI (interminai) - A PTY proxy enabling AI interaction with interactive CLI applications like vim, git reba…☆48Mar 29, 2026Updated last month
- Ultra-minimal personal AI agent: starts small, self-modifies its code live, adapts by writing exactly the code & features you need☆216Feb 27, 2026Updated 2 months ago
- Publishes a package to JSR with a version based on the current git tag.☆22Dec 14, 2024Updated last year
- A Codex/Claude skill that maintains per-repo operating theory documents.☆177Feb 28, 2026Updated 2 months 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.
- 👻 Ghostty fork with vertical tabs in a sidebar.☆112Mar 19, 2026Updated last month
- Files and Colab notebooks for my course on Python for healthcare statistics.☆15Apr 2, 2020Updated 6 years ago
- Python repo for the XDK auto-generated code.☆34Feb 28, 2026Updated 2 months ago
- A curated list of apps, tools, and resources designed for ADHD brains — not adapted from neurotypical productivity systems. M…☆28Feb 20, 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
- Bash scripts to automate ore mining☆19Apr 16, 2024Updated 2 years ago
- A Rust CLI tool for generating AI-friendly code banks from dependencies. Automatically parses Cargo.toml files, resolves versions, and ge…☆13Apr 23, 2026Updated 3 weeks ago
- Save yourself from the purple AI slop when using the Codex Frontend Skill☆27Jan 3, 2026Updated 4 months ago
- A document database which stores documents as YAML files. Update, add, remove and view database items by editing files.☆19Feb 25, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆29Jan 17, 2026Updated 4 months ago
- The command line interface for AlignUI☆43May 3, 2026Updated 2 weeks ago
- ☆71Updated this week
- Using Python and DSpy’s Recursive Language Model implementation to handle unbounded context lengths.☆87Oct 21, 2025Updated 6 months ago
- ☆25Apr 22, 2024Updated 2 years ago
- A complete pipeline for training language models to write in a specific author's style using Supervised Fine-Tuning (SFT) with LoRA.☆35Dec 29, 2025Updated 4 months ago
- Promptrix is a prompt layout engine for Large Language Models.☆16Nov 5, 2023Updated 2 years ago