Conditional Lean formalization and numerical certificate for prime gaps at most 186.
☆167Sep 2, 2026Updated last month
Alternatives and similar repositories for PrimeGaps186
Users that are interested in PrimeGaps186 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 100+ Power BI dashboard templates for Windows. Sales, finance, HR analytics templates with data connectors. Free download for professiona…☆11Mar 29, 2026Updated 6 months ago
- An infinite physically rolling paper strip that prints an endless portfolio built in Three.js with Fable 5☆74Jul 22, 2026Updated 2 months ago
- CEO-Bench: Can Agents Play the Long Game?☆82Sep 29, 2026Updated 2 weeks ago
- expose localhost to the internet instantly. zero-dependency tunneling engine with a custom 9-byte binary multiplexer, interactive bubble …☆71Aug 27, 2026Updated last month
- PS4 & PS5 Game Library☆97Sep 22, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆26Jun 8, 2026Updated 4 months ago
- Megatron-LM adapted for Puro-2B☆99Aug 30, 2026Updated last month
- Lean certificates accompanying ten proofs in mathematics and theoretical computer science☆214Aug 5, 2026Updated 2 months ago
- Open-source-ready Storm Tracker hardware design, documentation, BOM, and manufacturing package☆58Aug 13, 2026Updated 2 months ago
- ☆48Sep 9, 2026Updated last month
- ☆10Nov 6, 2024Updated last year
- ☆230Aug 2, 2026Updated 2 months ago
- Fully deterministic cross-device LLMs inference☆52Oct 2, 2026Updated 2 weeks ago
- Elixir-native LangChain, LangGraph, and DeepAgents for traceable LLM apps: OTP workflows, tools, memory, human-in-the-loop, streaming, cu…☆64Updated this week
- 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.
- PyTorch Code for Explorative Modeling: Unlocking a Third Pretraining Axis and End-to-End Generation☆249Sep 30, 2026Updated 2 weeks ago
- A rust port of con-leche☆31Updated this week
- ACL 2026 & NAACL 2025: Bridging Retrieval and Inference through Evidence Fusion☆14Apr 9, 2026Updated 6 months ago
- Code for paper "ElasticTrainer: Speeding Up On-Device Training with Runtime Elastic Tensor Selection" (MobiSys'23)☆14Nov 1, 2023Updated 2 years ago
- ☆181Aug 4, 2026Updated 2 months ago
- ☆35Jul 20, 2026Updated 2 months ago
- Official Project Page for KL-Regularized Policy Optimization (KLPO) (https://arxiv.org/abs/2610.08963)☆186Oct 10, 2026Updated last week
- ☆64Jul 17, 2026Updated 3 months ago
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last 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.
- Un widget pour la barre de menus macOS qui exploite l'API du portail WiFi TGV Inoui pour afficher en temps réel les informations de votre…☆105Sep 17, 2026Updated last month
- ☆72Updated this week
- NVIDIA Alpamayo 2 Super is an open 34B multi-task foundation model designed to supercharge autonomous vehicle development.☆276Oct 7, 2026Updated last week
- RSI-Exam: Measuring Recursive Self-Improvement on Long-Horizon, Executable Research Tasks · Discord https://discord.gg/FBzhepyE☆187Sep 27, 2026Updated 2 weeks ago
- Build real-time, multi-agent coordinated systems with great web-socket support☆227Updated this week
- A Nodejs NES emulator.☆12Aug 12, 2017Updated 9 years ago
- Public code release for the paper "Reawakening knowledge: Anticipatory recovery from catastrophic interference via structured training"☆11Oct 27, 2025Updated 11 months ago
- Understand what physics/algorithms do transformers learn internally when trained on planetary motion☆50Feb 9, 2026Updated 8 months ago
- Indexing strategies for the neume network.☆11Oct 7, 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.
- music NFT crawler☆11Aug 2, 2023Updated 3 years ago
- Sparse Transformers in JAX☆33Sep 17, 2026Updated last month
- ☆302Oct 6, 2026Updated last week
- Multi-Agent Self-Supervision☆277Oct 9, 2026Updated last week
- Official Project Page for HLA: Higher-order Linear Attention (https://arxiv.org/abs/2510.27258)☆104Jun 15, 2026Updated 4 months ago
- On-chain music NFT data.☆15Oct 7, 2026Updated last week
- Solving Inequality Proofs with Large Language Models.☆61Dec 15, 2025Updated 10 months ago