Zero-sorry Lean 4 library of finite-sample statistical learning theory: PAC-Bayes (incl. a five-component test-time meta-bound), VC, Rademacher, sharp McDiarmid, and Dudley chaining. ICML 2026 AI4MATH
☆57Jul 3, 2026Updated last 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:
- Codebase-level adversarial review by a panel of frontier models. A Claude Code skill that runs every file through DeepSeek + Gemini + Kim…☆48Jun 2, 2026Updated last month
- ☆64Jul 1, 2026Updated 2 weeks ago
- Start, stop, and duplicate dev projects with one click. The best workspace for running Claude Code, Codex, and other AI agents alongside …☆224Updated this week
- Open, MIT context format for AI coding agents: centralized .aigx/ rules + a per-file boundary index that targets the right rules, forbidd…☆258Jun 20, 2026Updated 3 weeks 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…☆64Jul 8, 2026Updated last week
- 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.
- Self-Improving Agents -- A Progression Four levels of self-improving code agents, from the simplest loop to a full adversarial arena with…☆266Apr 9, 2026Updated 3 months ago
- Point it at any GitHub repo, get DORA metrics, vulnerability scan, and a health score. CLI + dashboard.☆302Updated this week
- ☆24Jun 25, 2026Updated 2 weeks ago
- Evano Studio is an open-source local AI desktop app for agents, automation, knowledge, and productivity.☆50Jun 16, 2026Updated 3 weeks ago
- Kiasu Miles — A Singapore credit card rewards optimization MCP. Real-time card matching, miles tracking, spend analysis.☆31Updated this week
- ImpactGuard — Lightweight multi-language API impact analyzer☆110Updated this week
- A local-first control layer for AI agents☆52Updated this week
- Give Claude Code the persistent memory it was missing and turn it into your operational co-pilot.☆238Jun 13, 2026Updated last month
- Matrix is the cognition and UX layer on top of Paxeer Network. It turns natural-language requests from non-developers into a typed, inspe…☆80Updated this week
- 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.
- Self-hosted AI SRE for Kubernetes — zero-instrumentation eBPF observability plus a copilot that fixes issues through guardrailed, self-ve…☆141Updated this week
- Exodus | The # 1 Edgenuity Bot for Quizes, Tests, and Exams. Includes Auto Answers, Auto delays, built in AI Answers, Auto Submit, EdgeEX…☆246May 19, 2026Updated last month
- Sandboxed plugin VM with typed capabilities, deterministic replay, and time-travel debugging — written in Rust.☆113May 15, 2026Updated last month
- ☆133Jun 12, 2026Updated last month
- Uncensored AI coding agent in your terminal. Does the work, skips the sermon. 256K context, crypto-only billing, no card on file.☆139Jun 22, 2026Updated 3 weeks ago
- ☆132Updated this week
- Official monorepo of SDKs, CLI, and MCP servers for Sendmux email APIs across TypeScript, Python, Go, PHP, Rust, and Ruby.☆108Updated this week
- ExpLab: A Warehouse Native Open-Source A/B Testing and Experimentation Analysis Platform☆76May 8, 2026Updated 2 months ago
- ☆304Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A living medieval world where Claude, ChatGPT, Grok and Gemini rule rival towns. Fight goblins for $NUGGET, duel and trade other hunters,…☆111Jul 3, 2026Updated last week
- A git-native, review-gated knowledge base for AI agents: they propose writes, you approve them. Every claim cites a source, every change …☆155Updated this week
- translates postgres schema into typescript and zod☆45May 12, 2026Updated 2 months ago
- Open-source observability dashboard for OpenClaw daemons — cost analyti cs, live monitor ing, and de bugging tools, all running on your o…☆504Apr 15, 2026Updated 3 months ago
- A lightweight Go vector-store library inspired by Microsoft.Extensions.VectorData☆30May 27, 2026Updated last month
- Your AI agents can't see your files. ctxd connects your cloud data and makes it searchable via API, CLI, or MCP.☆101Jun 5, 2026Updated last month
- Open source e2ee temporary chat app☆201May 22, 2026Updated last month
- Kivana Software☆18May 12, 2026Updated 2 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…☆122Jun 7, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🖼️ ASCII Art Converter (txt & png)☆25Nov 9, 2024Updated last year
- Find issues worth your attention.☆655Jun 10, 2026Updated last month
- A universal, industry-neutral taxonomy of cognitive core skills (perception, memory, reasoning, planning, action, verification, learning,…☆275Jul 5, 2026Updated last week
- LedgerForge is an open-source double-entry ledger and financial core for building wallets, billing systems, reconciliation pipelines, a…☆59Jul 5, 2026Updated last week
- B3OS is your automation platform for cross-chain workflows. Build automated strategies, schedule transactions, and execute complex on-cha…☆557May 21, 2026Updated last month
- ⚡ Supersonic Pusher-protocol realtime WebSocket server in Rust.☆65Apr 18, 2026Updated 2 months ago
- This is a simple little plugin I made to help with Mixamo rigs in Blender.☆21Nov 22, 2025Updated 7 months ago