Machine-checked statistical learning theory in Lean 4: empirical-Bernstein and time-uniform PAC-Bayes, Markov risk, Rademacher/VC, and Dudley chaining.
☆35Sep 4, 2026Updated 2 months 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 local, event-sourced governance engine for coding tasks.☆19Updated this week
- Free AEO + AI search readiness plugin for WordPress. Schema, llms.txt, AI crawler controls, brand sentiment + citation tracking.☆15Oct 19, 2026Updated 3 weeks ago
- translates postgres schema into typescript and zod☆16May 12, 2026Updated 6 months ago
- YouTube MCP server: get YouTube video transcripts, search YouTube, browse channels and playlists from Claude, ChatGPT, Cursor and VS Code…☆10Updated this week
- Automate web workflows on real browser tabs without hosting a browser farm.☆25Jun 25, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Open-source bridge to use Kimi AI inside Cursor. Connect Kimi models to your AI coding workflow with fast setup, clean configuration, and…☆60Jun 16, 2026Updated 4 months ago
- ☆47Mar 20, 2024Updated 2 years ago
- Self-driving car in plain JavaScript: a neural network evolved by a genetic algorithm drives highway traffic☆18Oct 1, 2026Updated last month
- Offline MCP server for Basecoat UI (shadcn/ui look, no React): templates, macro layouts, theming/dark-mode contract, static validation.☆18Oct 31, 2026Updated 2 weeks ago
- Battle-tested operating system for shipping product with LLM coding agents. 17-stage wave loop, two-reviewer gate, dual-document agent me…☆53Oct 23, 2026Updated 3 weeks ago
- Point it at any GitHub repo, get DORA metrics, vulnerability scan, and a health score. CLI + dashboard.☆165Oct 9, 2026Updated last month
- ⚡ Supersonic Pusher-protocol realtime WebSocket server in Rust.☆33Oct 18, 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…☆145Apr 9, 2026Updated 7 months ago
- 🏎️ Dead-simple LLM benchmarking CLI - latency, cost, and quality metrics☆45Sep 8, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OpenTab is a lightweight browser start page for faster search, favorite sites, and useful shortcuts. On Microsoft Edge, it gives you back…☆11Aug 16, 2026Updated 2 months ago
- ExpLab: A Warehouse Native Open-Source A/B Testing and Experimentation Analysis Platform☆38Aug 20, 2026Updated 2 months ago
- MCP server with RAG knowledge base for OCPP 1.6, OCPP 2.0.1, and EV charging standards☆51Jun 9, 2026Updated 5 months ago
- MCP server and Claude Code plugin for the ENCODE Project: search, download and analyze ChIP-seq, ATAC-seq, RNA-seq, WGBS, Hi-C and CUT&RU…☆20Sep 27, 2026Updated last month
- Start, stop, and duplicate dev projects with one click. The best workspace for running Claude Code, Codex, and other AI agents alongside …☆150Updated this week
- Your $0/month personal AI agent, running 24/7 on GCP's free tier. One-click deploy. Zero cost. Forever.☆20Mar 17, 2026Updated 7 months ago
- Open source e2ee temporary chat app☆113May 22, 2026Updated 5 months ago
- Open, MIT context format for AI coding agents: centralized .aigx/ rules + a per-file boundary index that targets the right rules, forbidd…☆125Sep 21, 2026Updated last month
- GTM agent for technical founders. Pay-per-result. Two surfaces: terminal CLI + local web dashboard.☆586Updated this week
- 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.
- Telegram remote UI and observer for OpenAI Codex App Server. Control Codex threads, tools, Plan Mode, and local coding agents from Telegr…☆26May 18, 2026Updated 5 months ago
- Labor Market AI Agent☆133May 28, 2026Updated 5 months ago
- ☆70Jun 12, 2026Updated 5 months ago
- Kuratierte Agent Skills, Checklisten, Templates und Leitfäden für Schweizer Entwicklungsteams – direkt aus meinen Blog-Artikeln destillie…☆150Jun 5, 2026Updated 5 months ago
- Open-source observability dashboard for OpenClaw daemons — cost analyti cs, live monitor ing, and de bugging tools, all running on your o…☆325Apr 15, 2026Updated 6 months ago
- Connect an AI agent to Verified Handles: setup for each client, the MCP Registry listing, a Claude Desktop extension.☆18Updated this week
- Persistent memory for Claude Code. Your AI never starts from scratch again.☆41Jun 17, 2026Updated 4 months ago
- A swarm of disposable agents for unattributable web interaction☆414Jul 16, 2026Updated 3 months ago
- Frontend for Spasm-powered forum☆14Jun 19, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- B3OS is your automation platform for cross-chain workflows. Build automated strategies, schedule transactions, and execute complex on-cha…☆369May 21, 2026Updated 5 months ago
- PhenoPixel: A web-based bioimage analysis platform for bacterial single-cell microscopy analytics.☆177Nov 7, 2026Updated last week
- Public desktop release channel. Receives desktop-v* installers and latest.json from website's desktop-release.yml.☆182Sep 10, 2026Updated 2 months ago
- Open standard for luxury product traceability on blockchain☆16Oct 28, 2026Updated 2 weeks ago
- A curated list of AI poker resources: research papers, open-source tools, bots, solvers, and strategy guides☆75Oct 26, 2026Updated 2 weeks ago
- Fedora-focused KDE Discover fork with COPR integration and practical Fedora enhancements.☆476Nov 3, 2026Updated last week
- Splat! There goes your battery. BaseScanning is an E2E, worry-free iOS workflow for onboarding users to Base. Determine eligibility & opt…☆43Nov 2, 2026Updated last week
Are these results useful?