Robert Munafo's reverse equation solver
☆25Feb 28, 2023Updated 3 years ago
Alternatives and similar repositories for ries
Users that are interested in ries are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 6 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆31Sep 1, 2026Updated 3 weeks ago
- GNAT Components Collection – Bindings to C libraries☆15Updated this week
- ☆17Dec 14, 2017Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 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.
- Blackjack game and strategy calculator☆15Apr 20, 2025Updated last year
- ☆127Aug 22, 2026Updated last month
- Write Ruby extensions with Crystal☆12Jan 18, 2016Updated 10 years ago
- Experiments involving the Windows Hypervisor Platform☆23Jun 24, 2020Updated 6 years ago
- Fully featured SDK for Binance DEX. Use it, make some profit in crypto, spread the word, support mass adoption. :)☆12Apr 30, 2019Updated 7 years ago
- A test sample to create Installation package for RealDWG using Wix toolset☆10Mar 23, 2022Updated 4 years ago
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Updated this week
- Linear assignment problem solver for .NET.☆11Jan 24, 2026Updated 7 months ago
- Julia notebook for exploring correlations among consecutive primes.☆10Sep 7, 2020Updated 6 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.
- Encyclopedia of Combinatorial Structures☆16Jun 27, 2018Updated 8 years ago
- ☆21Jun 29, 2023Updated 3 years ago
- Computations in residue number system using CUDA-enabled GPUs☆15May 19, 2021Updated 5 years ago
- Test trading matching operations engine. BUY, SELL, MODIFY, CANCEL operation implantations. Code developed using C#☆13Oct 12, 2018Updated 7 years ago
- Travis builds for certbot.eff.org☆11Jan 19, 2022Updated 4 years ago
- algorithm for word square construction and the first proper English 10-square☆18May 13, 2023Updated 3 years ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆12Jan 31, 2022Updated 4 years ago
- Learn Red - Fundamentals of Red, published by Packt☆13Jan 30, 2023Updated 3 years ago
- Code of the book "Getting started with the Julia Programming Language"☆11Jul 7, 2018Updated 8 years 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.
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated last year
- The lecture notes and programs for my class on real analysis. This is very much work in progress!☆12Sep 6, 2026Updated 2 weeks ago
- ☆27Nov 18, 2025Updated 10 months ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 5 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆13Mar 31, 2026Updated 5 months ago
- Prime number testing and generation in R☆10Jan 16, 2024Updated 2 years ago
- Auto-generated sphinx version of the IPython website. Since this is an auto-generated directory, do *not* submit pull requests against th…☆11Jun 2, 2026Updated 3 months ago
- High-speed pHAT☆22Jun 19, 2021Updated 5 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.
- Convert spirographs to SVG format using Bezier curves☆23Jul 17, 2026Updated 2 months ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Repository for the Instructor Trainers community☆12Sep 4, 2026Updated 2 weeks ago
- An Interactive Discrete Mathematics Framework for GAP☆11Jul 10, 2026Updated 2 months ago
- An introduction to the basic ideas of commutative algebra☆17Mar 12, 2020Updated 6 years ago
- A Java based renderer for algebraic surfaces.☆17Mar 29, 2023Updated 3 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆14Dec 12, 2025Updated 9 months ago