A Lean formalization of a bound concerning long gaps between primes
☆44Sep 3, 2026Updated last month
Alternatives and similar repositories for LongGapsBetweenPrimes
Users that are interested in LongGapsBetweenPrimes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean certificates accompanying ten proofs in mathematics and theoretical computer science☆214Aug 5, 2026Updated 2 months ago
- CUA-Lite: An Open Platform for Computer-Use Agents☆109Updated this week
- Home to TypeScript packages for ChatGPT Sites☆32Sep 10, 2026Updated last month
- A lightweight, zero‑dependency JavaScript library to spotlight DOM elements. Ideal to create tutorials!☆15May 22, 2025Updated last year
- 🌍 A simple script for taking automated screenshots from a Leaflet map☆16Mar 29, 2018Updated 8 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.
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- Codebase for Temporal SAEs paper☆27Nov 14, 2025Updated 11 months ago
- The setup I used for my GPT-6 Astra Portal run: controller, SourcePauseTool patch, setup guide, and sanitized session log.☆99Sep 7, 2026Updated last month
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆28Jan 15, 2025Updated last year
- A persistent, multi-agent Model Context Protocol (MCP) server. Continuum gives AI coding agents — Claude Code, OpenCode, Codex, Gemini CL…☆44Aug 16, 2026Updated 2 months ago
- ☆20Jan 3, 2024Updated 2 years ago
- Activation-Steered Compression☆18Jan 30, 2026Updated 8 months ago
- ☆51Feb 28, 2023Updated 3 years ago
- Describe what you want built — get a finished project. An agent skill for Claude Code, Cursor and Codex: asks only where your idea forks,…☆483Updated this week
- 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.
- ☆14Oct 23, 2024Updated last year
- Social media profile endpoint mapper for node.js☆18Jul 29, 2014Updated 12 years ago
- Zig AI!☆27Apr 4, 2025Updated last year
- ☆15Feb 9, 2025Updated last year
- Research draft of a candidate proof of Crouzeix's conjecture☆535Aug 16, 2026Updated 2 months ago
- E-waste calculations for the European Union☆11Nov 23, 2017Updated 8 years ago
- Telegram bot for inline whisper to current user☆12Dec 10, 2025Updated 10 months ago
- Self-hosted browser workspace to run coding agents in parallel, steer work as it runs, review diffs, and ship.☆94Updated this week
- aPhyloGeo is a multiplatform application for the analysis of genetic and climatic conditions.☆18Feb 9, 2026Updated 8 months 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.
- Unofficial DSH (DeepSeek Harness) plugin: use chat.deepseek.com web models as an LLM provider - browser-login capture, PoW solving, SSE s…☆274Updated this week
- The Network State Dashboard is an open source database of startup societies.☆17Jul 1, 2025Updated last year
- Example of a durable Pi harness running on Cloudflare☆63Updated this week
- ☆33Nov 12, 2025Updated 11 months ago
- Tern SDKs (Rust, Python, Go, TypeScript) for the Tern Surface Protocol, and example Tern plugins.☆62Updated this week
- A wiki app to supercharge human/agent collaboration. A self-updating knowledge base.☆45Aug 26, 2026Updated last month
- Agent team plugins for Claude Code - pre-configured teams of specialized agents that collaborate on complex tasks☆32Aug 11, 2026Updated 2 months ago
- GPU-Accelerated Cosine Similarity for Tandem Mass Spectrometry☆19Nov 4, 2025Updated 11 months ago
- An analysis of the released data on FinCrime Files transactions as depicted on SARs.☆11Nov 26, 2020Updated 5 years 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.
- Deploy & Monetize Agents in a Hour☆16Jun 28, 2025Updated last year
- ⚡ A modern VPN client that lives in your terminal☆72Updated this week
- GPU-Rendered UI library built from scratch in Rust☆111Updated this week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- Some Lean proofs☆48Sep 15, 2026Updated last month
- Software Factory template☆54Updated this week
- The article provides a push-button solution to protect your infrastructure against incoming traffic from embargoed countries as defined b…☆16Jun 1, 2019Updated 7 years ago