A proof that Z is Diophantine in Q.
☆46Nov 7, 2026Updated this week
Alternatives and similar repositories for diophantine-z-q
Users that are interested in diophantine-z-q are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fastest du replacement and file tree analysis for 100+GB, million-file worktrees☆18Oct 21, 2026Updated 2 weeks ago
- ☆29Updated this week
- A collaborative community database for the open problems on the erdosproblems.com site as well as some MathOverflow problems☆13Oct 26, 2026Updated last week
- New results and AI-powered research on the square packing problem☆48Updated this week
- ☆11Jan 5, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Typed decisions in one forward pass: Smol 421M, Big 4B and Nagi-HUGE 12B. Reproducible four-system benchmark.☆13Oct 13, 2026Updated 3 weeks ago
- Liquidate an undercollateralized Aave position with a sushiswap flash swap☆13Oct 7, 2022Updated 4 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago
- Source code of the fx2-cmix-transformer submission for the Hutter Prize☆19Sep 2, 2026Updated 2 months ago
- Towers of category constructors☆13Updated this week
- A coding agent that rewrites its own harness (prompts, tools, compiled core) while it works, so the harness grows with the model. A Root …☆24Updated this week
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Updated this week
- REST API for quantum_rng v3's Bell-verified state-vector simulation, driven by health-tested system entropy.☆19Jul 14, 2026Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward☆76Oct 6, 2026Updated last month
- Natural language Lean☆12Updated this week
- ☆174Updated this week
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- v2v3-arbitrage supports arbitrage between Uniswap V2 and V3 pools.☆17May 10, 2024Updated 2 years ago
- Set of tools to parse DS2 morpheme binaries, and to compile them☆17Oct 25, 2026Updated last week
- Implemented and benchmarked KV cache compression methods for LLM inference in Triton. Optimized kernels for KIVI and TurboQuant with Flas…☆18Jun 19, 2026Updated 4 months ago
- Aspiring universal programming language. Features: user-definable syntax and types + self-improving optimizer that creates provably corre…☆23Updated this week
- Semi-Classical Quantum Random Number Generator library written in C for cryptographic, simulation and generative AI applications with exa…☆74Jul 11, 2026Updated 3 months ago
- 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.
- ☆38Jul 3, 2026Updated 4 months ago
- ☆40Updated this week
- Djinnlang implementation for Rust☆27Oct 25, 2026Updated last week
- MCP framework for the orchestration of multiple language models to work together intelligently, written in Typescript.☆25Apr 24, 2025Updated last year
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- Classical RNG utility written in C for computing fast and efficient non-deterministic random numbers for games and security applications …☆27Jul 14, 2026Updated 3 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 3 years ago
- Example FuncGodot project that shows how you might design entities for use in the TrenchBroom to Godot pipeline.☆23Jun 10, 2026Updated 4 months ago
- ☆10Dec 8, 2022Updated 3 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.
- gen-dsp converts code exported from a Max gen~ object and a graph-oriented dsl into multiple dsp plugin architectures.☆23Updated this week
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆82Updated this week
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated 2 months ago
- [DEPRECATED] Moved to ROCm/rocm-libraries repo☆13Updated this week
- Contest Control System specifications☆11Oct 27, 2026Updated last week
- A tutorial for the free Inkscape cross-platform vector graphics editor.☆13Oct 4, 2016Updated 10 years ago
- ☆30Sep 12, 2026Updated last month