☆23Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for batch-2
Users that are interested in batch-2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆18Apr 16, 2026Updated 6 months ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- Reference implementation of "Softmax Attention with Constant Cost per Token" (Heinsen, 2024)☆25Jun 6, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Official Repository of Surprising Anecdotes for AI Finds a Way☆15Aug 27, 2026Updated 2 months ago
- Exponent pair database☆85Nov 1, 2026Updated last week
- Repo for the Lean code from the video "Is This the End of Handwritten Math? Introducing Lean"☆14Nov 1, 2025Updated last year
- Agentic workflow for tackling all open Erdos problems at once.☆34May 10, 2026Updated 6 months ago
- Interactive notebook introducing the matrix exponential and matrix Lie groups, from the Quantum Formalism lecture series.☆12Apr 17, 2025Updated last year
- A benchmark to measure AI progress on unsolved research problems in mathematics.☆36Updated this week
- Autoregressive Image Generation☆31Jun 13, 2025Updated last year
- ☆18May 7, 2026Updated 6 months ago
- ☆17Jul 2, 2025Updated last year
- 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.
- Relion external crYOLO integration☆10Feb 21, 2024Updated 2 years ago
- Triton Implementation of HyperAttention Algorithm☆48Dec 11, 2023Updated 2 years ago
- ☆12Feb 18, 2025Updated last year
- RELION external reconstruct functionality☆12Sep 11, 2020Updated 6 years ago
- Code that searches for ribbon bands☆18Jul 3, 2026Updated 4 months ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 4 months ago
- Hessian Null Space Continuation (HNC): traversing the solution space of neural networks☆12Sep 30, 2026Updated last month
- ☆21May 23, 2025Updated last year
- Neural multiclass ab initio reconstruction for cryo-EM.☆13Dec 5, 2024Updated last year
- 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.
- GPU accelerating computing for Bayesian inference of electron microscopy images. BioEM is a publicly available software that enables the …☆13Apr 7, 2023Updated 3 years ago
- Colorblind-friendly, perceptually uniform palettes for chimerax☆14Sep 26, 2020Updated 6 years ago
- ☆21Mar 16, 2026Updated 7 months ago
- 15k open math problems, linked to their sources.☆28Oct 25, 2026Updated 2 weeks ago
- Implementation of the paper "Hallucination Detection in LLMs Using Spectral Features of Attention Maps"☆16Oct 18, 2025Updated last year
- Science MCP Servers: Globus, Compute Facilities, Diaspora, and More☆14Sep 8, 2025Updated last year
- Train HiFi-GAN on TPU☆10Apr 3, 2022Updated 4 years ago
- Grace (xmgrace) plotting tool☆14May 25, 2017Updated 9 years ago
- ☆15Jun 5, 2025Updated last year
- 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 Lean formalization of the Classification of Finite Simple Groups☆165Updated this week
- ☆16Jan 31, 2019Updated 7 years ago
- Schemes in Lean (v2)☆46Jul 30, 2020Updated 6 years ago
- Learning to Program via Python, and Scientific Python for Programmers course material☆13Jan 23, 2025Updated last year
- ☆34Aug 18, 2026Updated 2 months ago
- Offensive AI Con 2025 Media Repository☆15Nov 30, 2025Updated 11 months ago
- Comparator-based Lean formal mathematics eval☆51Updated this week
Are these results useful?