Machine-checked statistical learning theory in Lean 4: empirical-Bernstein and time-uniform PAC-Bayes, Markov risk, Rademacher/VC, and Dudley chaining.
☆38Aug 23, 2026Updated this week
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.☆15Updated this week
- Free AEO + AI search readiness plugin for WordPress. Schema, llms.txt, AI crawler controls, brand sentiment + citation tracking.☆19Updated this week
- Music Finder iOS not implemented☆12Aug 13, 2025Updated last year
- A local, event-sourced governance engine for coding tasks.☆32Updated this week
- ☆85Mar 20, 2024Updated 2 years 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.
- translates postgres schema into typescript and zod☆30May 12, 2026Updated 3 months ago
- Codebase-level adversarial review by a panel of frontier models. A Claude Code skill that runs every file through DeepSeek + Gemini + Kim…☆33Aug 1, 2026Updated 3 weeks ago
- ☆41Updated this week
- Start, stop, and duplicate dev projects with one click. The best workspace for running Claude Code, Codex, and other AI agents alongside …☆178Updated this week
- Open, MIT context format for AI coding agents: centralized .aigx/ rules + a per-file boundary index that targets the right rules, forbidd…☆183Jun 20, 2026Updated 2 months ago
- 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…☆38Jul 8, 2026Updated last month
- Evano Studio is an open-source local AI desktop app for agents, automation, knowledge, and productivity.☆42Jun 16, 2026Updated 2 months ago
- Self-Improving Agents -- A Progression Four levels of self-improving code agents, from the simplest loop to a full adversarial arena with…☆208Apr 9, 2026Updated 4 months ago
- Point it at any GitHub repo, get DORA metrics, vulnerability scan, and a health score. CLI + dashboard.☆230Jul 13, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A reproducible research stack for a 30-minute open-session equity strategy. This contains the data pipeline, feature and label logic, wal…☆10Jun 25, 2026Updated last month
- ImpactGuard — Lightweight multi-language API impact analyzer☆80Jul 12, 2026Updated last month
- A local-first control layer for AI agents☆38Updated this week
- Give Claude Code the persistent memory it was missing and turn it into your operational co-pilot.☆189Jun 13, 2026Updated 2 months ago
- A stateful AI operating system for serious, long-horizon work.☆172Updated this week
- Exodus | The # 1 Edgenuity Bot for Quizes, Tests, and Exams. Includes Auto Answers, Auto delays, built in AI Answers, Auto Submit, EdgeEX…☆192May 19, 2026Updated 3 months ago
- Kiasu Miles — A Singapore credit card rewards optimization MCP. Real-time card matching, miles tracking, spend analysis.☆20Updated this week
- Sandboxed plugin VM with typed capabilities, deterministic replay, and time-travel debugging — written in Rust.☆80May 15, 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.☆98Jun 22, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆101Jun 12, 2026Updated 2 months ago
- ☆100Jul 24, 2026Updated last month
- Official monorepo of SDKs, CLI, and MCP servers for Sendmux email APIs across TypeScript, Python, Go, PHP, Rust, and Ruby.☆78Updated this week
- Public desktop release channel. Receives desktop-v* installers and latest.json from website's desktop-release.yml.☆244Aug 9, 2026Updated 2 weeks ago
- ExpLab: A Warehouse Native Open-Source A/B Testing and Experimentation Analysis Platform☆55Updated 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 …☆109Updated this week
- A living medieval world where Claude, ChatGPT, Grok and Gemini rule rival towns. Fight goblins for $NUGGET, duel and trade other hunters,…☆80Jul 3, 2026Updated last month
- Open-source observability dashboard for OpenClaw daemons — cost analyti cs, live monitor ing, and de bugging tools, all running on your o…☆414Apr 15, 2026Updated 4 months ago
- A lightweight Go vector-store library inspired by Microsoft.Extensions.VectorData☆18May 27, 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.
- A curated list of AI poker resources: research papers, open-source tools, bots, solvers, and strategy guides☆93Apr 3, 2026Updated 4 months ago
- Your AI agents can't see your files. ctxd connects your cloud data and makes it searchable via API, CLI, or MCP.☆76Jun 5, 2026Updated 2 months ago
- Open source e2ee temporary chat app☆157May 22, 2026Updated 3 months ago
- Modern C++23 SDK for the Kalshi prediction-market API — full typed REST coverage + real-time WebSocket streaming, RSA-PSS auth, and an ex…☆95Jun 7, 2026Updated 2 months ago
- Kivana Software☆13May 12, 2026Updated 3 months ago
- A universal, industry-neutral taxonomy of cognitive core skills (perception, memory, reasoning, planning, action, verification, learning,…☆193Jul 5, 2026Updated last month
- 🖼️ ASCII Art Converter (txt & png)☆11Nov 9, 2024Updated last year