☆15Aug 20, 2025Updated last year
Alternatives and similar repositories for tla-specs-codegen
Users that are interested in tla-specs-codegen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The agent runtime is a living Lisp image. The harness is not scaffolding around intelligence — it is the operating environment in which i…☆12Oct 15, 2026Updated 2 weeks ago
- ☆14Updated this week
- ☆14Aug 12, 2026Updated 2 months ago
- This repository contains notebooks for the Python, Visually Explained course.☆13Nov 20, 2024Updated last year
- Agent-first Rust ASR stack built on a real in-process pure-Rust Whisper engine (no FFI, no Python, no subprocess), with adaptive Bayesian…☆93Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆25Jun 30, 2026Updated 3 months ago
- The desktop application for a local viralmind.ai training gym.☆12Apr 25, 2025Updated last year
- An Airbyte source for SAP: tables and CDS views, RFC function modules, BW queries, and ODP delta over RFC or the Gateway — powered by the…☆14Oct 3, 2026Updated 3 weeks ago
- ☆14Nov 9, 2021Updated 4 years ago
- Some concepts about data modelling... yet another try :) to explain why is important to model data.☆11Nov 26, 2023Updated 2 years ago
- Minimal test case for Sparkjs LoD + Streaming☆15Jan 17, 2026Updated 9 months ago
- ☆51Apr 24, 2026Updated 6 months ago
- CLI for creating, searching, reading transcripts, and controlling Codex app-server threads☆33Oct 14, 2026Updated 2 weeks ago
- Cellule: a Rust framework for durable SQLite-backed Cells with fenced ownership and exact recovery.☆38Oct 18, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A strong Othello AI bot for 50.021 Artificial Intelligence course.☆11Jan 14, 2017Updated 9 years ago
- AI-powered specification analysis tool that converts requirements into structured tasks and validates code implementation against origina…☆35Jun 3, 2026Updated 4 months ago
- api and skill for agents to interact with google maps and retrieve locations by query☆13Jan 3, 2026Updated 9 months ago
- ☆21Apr 6, 2026Updated 6 months ago
- Pure-Rust, memory-safe, CPU-only runtime for Qwen3-TTS zero-shot voice cloning: no Python, no ML framework, no GPU. Verified seam-by-seam…☆47Oct 17, 2026Updated last week
- monitor changes as AI agents modify your codebase☆21Jun 19, 2026Updated 4 months ago
- Observables for creating reactive functional state in applications☆11Mar 31, 2015Updated 11 years ago
- A playground for Nano Banana Pro☆19Dec 19, 2025Updated 10 months ago
- ☆13Oct 14, 2026Updated 2 weeks 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.
- eGPU setup, driver status, diagnostics, and measured results for Omarchy Linux☆26Updated this week
- Simple Observe Stack (sobs) is a lightweight application RUM, telemetry, logs, errors and AI focused container for application insights. …☆14Oct 22, 2026Updated last week
- Claude Code hook that detects context compaction and injects a reminder to re-read AGENTS.md, preventing post-compaction rule amnesia in …☆55Oct 14, 2026Updated 2 weeks ago
- ☆23Aug 28, 2026Updated 2 months ago
- Own the code for your OAuth client/provider in as few tokens as possible.☆12Apr 7, 2026Updated 6 months ago
- Go ADBC driver for DuckDB's Quack remote protocol (quack:// URI scheme). Returns Apache Arrow RecordBatches; supports bulk-ingest via APP…☆29Aug 26, 2026Updated 2 months ago
- A bullet chart that includes four orientations and a few customization options. Use to feature a single measure against a qualitative ran…☆28Sep 2, 2026Updated last month
- AGENTIC · INFRASTRUCTURE — Every agent you run, working from the same brain. Open-source framework with a native shared Second Brain.☆18Aug 3, 2026Updated 2 months ago
- ☆11Jan 20, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Native compact Nix build output with full local logs, bounded diagnostics, and a flake interface☆19Updated this week
- Strongly typed configurable building blocks for A/B testing ML research.☆52Updated this week
- Linux-native Touch ID for Intel Macs with Apple's T2 chip through fprintd. Early Omarchy proof of concept, validated on MacBookPro16,1.☆15Oct 18, 2026Updated last week
- Public Codex skill: cto-review☆10Feb 28, 2026Updated 8 months ago
- A way to build next.js apps for cloudflare workers☆14Feb 18, 2019Updated 7 years ago
- Search Agent using Vercel AI SDK, Parallel AI, and Cerebras☆11Aug 27, 2025Updated last year
- ☆26Oct 21, 2026Updated last week