Machine-checked statistical learning theory in Lean 4: empirical-Bernstein and time-uniform PAC-Bayes, Markov risk, Rademacher/VC, and Dudley chaining.
☆50Sep 4, 2026Updated last month
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:
- ☆16Dec 17, 2024Updated last year
- YouTube MCP server: get YouTube video transcripts, search YouTube, browse channels and playlists from Claude, ChatGPT, Cursor and VS Code…☆27Updated this week
- A compiled, durable-execution runtime for agentic workflows.☆11Oct 10, 2026Updated last week
- Offline MCP server for Basecoat UI (shadcn/ui look, no React): templates, macro layouts, theming/dark-mode contract, static validation.☆38Oct 14, 2026Updated last week
- Self-driving car in plain JavaScript: a neural network evolved by a genetic algorithm drives highway traffic☆38Oct 1, 2026Updated 3 weeks 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 local, event-sourced governance engine for coding tasks.☆24Updated this week
- Free AEO + AI search readiness plugin for WordPress. Schema, llms.txt, AI crawler controls, brand sentiment + citation tracking.☆17Updated this week
- translates postgres schema into typescript and zod☆20May 12, 2026Updated 5 months ago
- 🌋 Alchemy is a decompilation of both ☀️ Golden Sun games for Gameboy Advance☆174Updated this week
- Understand your agent's decisions☆156Aug 16, 2026Updated 2 months ago
- SMILE software factory: a distributable, verified agent software factory (graph, loop, watcher, planning)☆46Sep 21, 2026Updated last month
- ☆15Sep 25, 2026Updated 3 weeks ago
- ☆58Mar 20, 2024Updated 2 years ago
- A curated catalog of Model Context Protocol servers for Swedish data, laws and services.☆50Sep 23, 2026Updated last month
- 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.
- ☆1,173Oct 10, 2026Updated last week
- Tasks, copy, schedules, suppliers and files for every project you run. Self-hosted, one container, one file to back up.☆52Updated this week
- ☆144Updated this week
- yet another mac optimizer + cleaner☆28Updated this week
- GTM agent for technical founders. Pay-per-result. Two surfaces: terminal CLI + local web dashboard.☆673Updated this week
- Splat! There goes your battery. BaseScanning is an E2E, worry-free iOS workflow for onboarding users to Base. Determine eligibility & opt…☆80Updated this week
- Point it at any GitHub repo, get DORA metrics, vulnerability scan, and a health score. CLI + dashboard.☆188Oct 9, 2026Updated last week
- AI agent identity, signed credentials, delegated authority and portable governance evidence. Python core and offline verifier SDKs.☆846Updated this week
- ⚡ Supersonic Pusher-protocol realtime WebSocket server in Rust.☆38Oct 4, 2026Updated 2 weeks 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.
- A curated catalog of Model Context Protocol (MCP) servers for discovering and integrating AI tools, data sources, and services. Explore M…☆185Updated this week
- OpenMail platform plugin for Hermes Agent: an email address for your agent☆64Oct 6, 2026Updated 2 weeks ago
- Enables organizations to create and deploy customizable AI agents with support for multiple LLM providers, real-time chat, voice, documen…☆821Updated this week
- Self-Improving Agents -- A Progression Four levels of self-improving code agents, from the simplest loop to a full adversarial arena with …☆160Apr 9, 2026Updated 6 months ago
- Analyze the Indonesian stock market (IDX/IHSG) from web terminal, CLI, or any AI agents via MCP server. IHSG Prices, Fundamentals, and Sc…☆172Updated this week
- the greatest coding/hacking/reverse engineering IDE☆119Updated this week
- Openframe Frontend for OSS repository☆828Updated this week
- Uncensored AI coding agent in your terminal. Does the work, skips the sermon. 256K context, crypto-only billing, no card on file.☆152Sep 27, 2026Updated 3 weeks ago
- ☆469Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A modern CLI tool for managing OpenFrame Kubernetes clusters and development workflows. Provides an interactive, user-friendly alternativ…☆908Oct 14, 2026Updated last week
- Client-side encrypted vault for Google Drive: Android app, web console, and desktop app over one format, implemented three times independ…☆26Aug 28, 2026Updated last month
- Flight booking system built as .NET 10 microservices with Vertical Slice Architecture, DDD, CQRS, Event Sourcing, gRPC, RabbitMQ, Wolveri…☆756Sep 13, 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 …☆154Updated this week
- ExpLab: A Warehouse Native Open-Source A/B Testing and Experimentation Analysis Platform☆44Aug 20, 2026Updated 2 months ago
- Proof carrying orbital mission control with Gemini, HexStellar Cortex, and independent verification☆652Aug 31, 2026Updated last month
- C++23 client for Kalshi's Predictions API. Created from Kalshi's OpenAPI and AsyncAPI specs, it covers every REST operation and WebSocket…☆186Sep 27, 2026Updated 3 weeks ago