☆13Sep 12, 2026Updated last month
Alternatives and similar repositories for Andrews-Curtis
Users that are interested in Andrews-Curtis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆34Aug 10, 2026Updated 2 months ago
- Tools for writing good AI generated papers☆15Sep 2, 2026Updated last month
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.☆205Updated this week
- The Compositionality article class.☆14Mar 16, 2026Updated 7 months ago
- 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.
- ❯ Lightweight, beautiful and user-friendly interactive prompts — forked for the Graphite CLI☆12Dec 16, 2025Updated 10 months ago
- Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset☆30Oct 15, 2026Updated 2 weeks ago
- Fractional Brownian Motion package☆11Jun 24, 2022Updated 4 years ago
- A package to typeset ZX calculus directly in LaTeX.☆18Mar 15, 2024Updated 2 years ago
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆27Aug 27, 2026Updated 2 months ago
- ☆18Jul 30, 2026Updated 3 months ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 3 months ago
- dateroll makes working with 📅 dates less painful.☆12Apr 17, 2025Updated last year
- 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.
- ☆13May 26, 2025Updated last year
- ☆25Oct 22, 2026Updated last week
- A Lean formalization of a bound concerning long gaps between primes☆46Sep 3, 2026Updated last month
- ☆19Jul 13, 2026Updated 3 months ago
- Python library with C++ extensions for simulation, compensator, log-likelihood and intensity function computation for a multivariate Hawk…☆10Sep 25, 2017Updated 9 years ago
- ☆16Jan 12, 2026Updated 9 months ago
- Parametric estimation of multivariate Hawkes processes with general kernels.☆14May 27, 2024Updated 2 years ago
- Quick online tool for chess with features for composing problems and APIs.☆16Updated this week
- Tools based on AI for helping with Lean 4☆125Aug 3, 2026Updated 2 months 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.
- An ultrafast chess move generator. ~400Million nodes per second.☆13Nov 24, 2023Updated 2 years ago
- ☆21Mar 11, 2026Updated 7 months ago
- ☆11Dec 1, 2025Updated 10 months ago
- TeXSend is a suite of userscripts which allow you to compile LaTeX code in your favorite email services.☆19Aug 9, 2025Updated last year
- ☆24May 3, 2026Updated 5 months ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- ☆18Apr 6, 2021Updated 5 years ago
- Discontinued placeholder – see paulwilke/smalltalk-live-cli (CLI) or mumez/pharo-smalltalk-interop-mcp-server (MCP)☆15Oct 9, 2026Updated 2 weeks ago
- Infer transmission clusters from SNP and timing data☆17May 20, 2020Updated 6 years 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.
- Chess move generation engine☆12Jan 11, 2026Updated 9 months ago
- Verified probability, statistics, and learning theory in Lean 4☆30Updated this week
- We implement RSQE and HQE simulation schemes from the paper Efficient simulation of affine forward volatility models.☆20Jun 10, 2022Updated 4 years ago
- A Quantum Computing Library in LEAN☆26Jul 14, 2026Updated 3 months ago
- ☆16Aug 2, 2024Updated 2 years ago
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- homepage☆11Oct 21, 2026Updated last week