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
☆41Aug 2, 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.☆15Jul 9, 2026Updated 3 weeks ago
- 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☆13Aug 13, 2025Updated 11 months ago
- A local, event-sourced governance engine for coding tasks.☆35Jul 21, 2026Updated 2 weeks ago
- ☆90Mar 20, 2024Updated 2 years 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.
- translates postgres schema into typescript and zod☆33May 12, 2026Updated 2 months ago
- Codebase-level adversarial review by a panel of frontier models. A Claude Code skill that runs every file through DeepSeek + Gemini + Kim…☆35Updated this week
- ☆44Updated this week
- Start, stop, and duplicate dev projects with one click. The best workspace for running Claude Code, Codex, and other AI agents alongside …☆192Updated this week
- Open, MIT context format for AI coding agents: centralized .aigx/ rules + a per-file boundary index that targets the right rules, forbidd…☆205Jun 20, 2026Updated last month
- 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…☆43Jul 8, 2026Updated 3 weeks ago
- Evano Studio is an open-source local AI desktop app for agents, automation, knowledge, and productivity.☆41Jun 16, 2026Updated last month
- Self-Improving Agents -- A Progression Four levels of self-improving code agents, from the simplest loop to a full adversarial arena with…☆228Apr 9, 2026Updated 3 months ago
- Point it at any GitHub repo, get DORA metrics, vulnerability scan, and a health score. CLI + dashboard.☆255Jul 13, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A reproducible research stack for a 30-minute open-session equity strategy. This contains the data pipeline, feature and label logic, wal…☆12Jun 25, 2026Updated last month
- ImpactGuard — Lightweight multi-language API impact analyzer☆92Jul 12, 2026Updated 3 weeks ago
- A local-first control layer for AI agents☆39Updated this week
- Give Claude Code the persistent memory it was missing and turn it into your operational co-pilot.☆203Jun 13, 2026Updated last month
- Matrix is an agent framework, built by PaxLabs, that takes an LLM past chat and into real execution: files, code, web, on-chain operation…☆61Updated this week
- Kiasu Miles — A Singapore credit card rewards optimization MCP. Real-time card matching, miles tracking, spend analysis.☆22Updated this week
- Exodus | The # 1 Edgenuity Bot for Quizes, Tests, and Exams. Includes Auto Answers, Auto delays, built in AI Answers, Auto Submit, EdgeEX…☆212May 19, 2026Updated 2 months ago
- Sandboxed plugin VM with typed capabilities, deterministic replay, and time-travel debugging — written in Rust.☆92May 15, 2026Updated 2 months ago
- Uncensored AI coding agent in your terminal. Does the work, skips the sermon. 256K context, crypto-only billing, no card on file.☆113Jun 22, 2026Updated last month
- 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.
- ☆103Jun 12, 2026Updated last month
- ☆113Jul 24, 2026Updated last week
- Official monorepo of SDKs, CLI, and MCP servers for Sendmux email APIs across TypeScript, Python, Go, PHP, Rust, and Ruby.☆86Updated this week
- ☆270Updated this week
- ExpLab: A Warehouse Native Open-Source A/B Testing and Experimentation Analysis Platform☆60May 8, 2026Updated 2 months ago
- A git-native, review-gated knowledge base for AI agents: they propose writes, you approve them. Every claim cites a source, every change …☆120Updated this week
- A living medieval world where Claude, ChatGPT, Grok and Gemini rule rival towns. Fight goblins for $NUGGET, duel and trade other hunters,…☆94Jul 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…☆448Apr 15, 2026Updated 3 months ago
- A lightweight Go vector-store library inspired by Microsoft.Extensions.VectorData☆20May 27, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A curated list of AI poker resources: research papers, open-source tools, bots, solvers, and strategy guides☆98Apr 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.☆81Jun 5, 2026Updated last month
- Open source e2ee temporary chat app☆176May 22, 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…☆99Jun 7, 2026Updated last month
- Kivana Software☆14May 12, 2026Updated 2 months ago
- A universal, industry-neutral taxonomy of cognitive core skills (perception, memory, reasoning, planning, action, verification, learning,…☆213Jul 5, 2026Updated 3 weeks ago
- 🖼️ ASCII Art Converter (txt & png)☆14Nov 9, 2024Updated last year