Machine-checked statistical learning theory in Lean 4: empirical-Bernstein and time-uniform PAC-Bayes, Markov risk, Rademacher/VC, and Dudley chaining.
☆46Sep 4, 2026Updated 3 weeks ago
Alternatives and similar repositories for FormalSLT
Users that are interested in FormalSLT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compiled, durable-execution runtime for agentic workflows.☆11Sep 19, 2026Updated 2 weeks ago
- Free AEO + AI search readiness plugin for WordPress. Schema, llms.txt, AI crawler controls, brand sentiment + citation tracking.☆19Updated this week
- A local, event-sourced governance engine for coding tasks.☆24Updated this week
- ☆58Mar 20, 2024Updated 2 years ago
- translates postgres schema into typescript and zod☆20May 12, 2026Updated 4 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.
- Codebase-level adversarial review by a panel of frontier models. A Claude Code skill that runs every file through DeepSeek + Gemini + Kim…☆25Aug 1, 2026Updated 2 months ago
- ☆25Updated this week
- Start, stop, and duplicate dev projects with one click. The best workspace for running Claude Code, Codex, and other AI agents alongside …☆151Updated this week
- Open, MIT context format for AI coding agents: centralized .aigx/ rules + a per-file boundary index that targets the right rules, forbidd…☆145Sep 21, 2026Updated last week
- Local HTML-artifact review tool for coding agents — render a plan as HTML, annotate it in the browser, send feedback back to the agent. I…☆25Jul 8, 2026Updated 2 months ago
- Evano Studio is an open-source local AI desktop app for agents, automation, knowledge, and productivity.☆42Jun 16, 2026Updated 3 months ago
- Point it at any GitHub repo, get DORA metrics, vulnerability scan, and a health score. CLI + dashboard.☆189Sep 10, 2026Updated 3 weeks ago
- Self-Improving Agents -- A Progression Four levels of self-improving code agents, from the simplest loop to a full adversarial arena with…☆170Apr 9, 2026Updated 5 months ago
- ImpactGuard — Lightweight multi-language API impact analyzer☆60Sep 17, 2026Updated 2 weeks ago
- 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.
- A local-first control layer for AI agents☆25Updated this week
- Give Claude Code the persistent memory it was missing and turn it into your operational co-pilot.☆161Jun 13, 2026Updated 3 months ago
- Kiasu Miles — A Singapore credit card rewards optimization MCP. Real-time card matching, miles tracking, spend analysis.☆24Sep 26, 2026Updated last week
- Exodus | The # 1 Edgenuity Bot for Quizes, Tests, and Exams. Includes Auto Answers, Auto delays, built in AI Answers, Auto Submit, EdgeEX…☆156May 19, 2026Updated 4 months ago
- A stateful AI operating system for serious, long-horizon work.☆115Sep 18, 2026Updated 2 weeks ago
- Sandboxed plugin VM with typed capabilities, deterministic replay, and time-travel debugging — written in Rust.☆64May 15, 2026Updated 4 months ago
- ☆79Jun 12, 2026Updated 3 months ago
- Uncensored AI coding agent in your terminal. Does the work, skips the sermon. 256K context, crypto-only billing, no card on file.☆163Updated this week
- ☆92Sep 14, 2026Updated 2 weeks ago
- 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.
- Public desktop release channel. Receives desktop-v* installers and latest.json from website's desktop-release.yml.☆207Sep 10, 2026Updated 3 weeks ago
- Official monorepo of SDKs, CLI, and MCP servers for Sendmux email APIs across TypeScript, Python, Go, PHP, Rust, and Ruby.☆65Updated this week
- A git-native, review-gated knowledge base for AI agents: they propose writes, you approve them. Every claim cites a source, every change …☆82Aug 23, 2026Updated last month
- ExpLab: A Warehouse Native Open-Source A/B Testing and Experimentation Analysis Platform☆44Aug 20, 2026Updated last month
- CypherOS — private onchain finance powered by $INJ. Shield assets, send privately, and manage your portfolio in one place.☆114Updated this week
- Open-source observability dashboard for OpenClaw daemons — cost analyti cs, live monitor ing, and de bugging tools, all running on your o…☆362Apr 15, 2026Updated 5 months ago
- A lightweight Go vector-store library inspired by Microsoft.Extensions.VectorData☆13Sep 16, 2026Updated 2 weeks ago
- A curated list of AI poker resources: research papers, open-source tools, bots, solvers, and strategy guides☆72Apr 3, 2026Updated 6 months ago
- Your AI agents can't see your files. ctxd connects your cloud data and makes it searchable via API, CLI, or MCP.☆62Sep 6, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Open source e2ee temporary chat app☆131May 22, 2026Updated 4 months ago
- C++23 client for Kalshi's Predictions API. Created from Kalshi's OpenAPI and AsyncAPI specs, it covers every REST operation and WebSocket…☆197Updated this week
- Align intent. Launch execution. Land the merge.☆12Jun 1, 2026Updated 4 months ago
- Find issues worth your attention.☆518Sep 14, 2026Updated 2 weeks ago
- A universal, industry-neutral taxonomy of cognitive core skills (perception, memory, reasoning, planning, action, verification, learning,…☆157Jul 5, 2026Updated 2 months ago
- LedgerForge is an open-source double-entry ledger and financial core for building wallets, billing systems, reconciliation pipelines, a…☆23Aug 16, 2026Updated last month
- Labor Market AI Agent☆153May 28, 2026Updated 4 months ago