Generates MinMax polynomial approximations of functions. Stable implementation of the Remez Algorithm using multi-precision arithmetic. Also does C/C++ code generation!
☆30Jul 26, 2022Updated 4 years ago
Alternatives and similar repositories for OptimalPoly
Users that are interested in OptimalPoly are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Case-control matching for microbiome data☆10Aug 8, 2023Updated 3 years ago
- a python package for energy systems modeling and optimization☆30Nov 20, 2025Updated 10 months ago
- Software Platform for solving and manipulating multiparametric programs in Python☆45Sep 17, 2025Updated last year
- Cuda matrix computation library that is specified for small matrix operation (3x3, 4x4, 1x3, 1x4, etc.). Including buffer☆20Mar 8, 2024Updated 2 years ago
- Importance-sampled FAST Noise☆46Jun 18, 2025Updated last year
- 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.
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 5 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Aug 27, 2026Updated 3 weeks ago
- python3 package supporting efficient storage and querying of sets of sets using the trie data structure. Supports finding all the superse…☆23Sep 15, 2023Updated 3 years ago
- ☆11Oct 29, 2022Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Modelo Latex (GAMBIARRA) de Tese PPGCC - UFMG☆10Jan 24, 2022Updated 4 years ago
- ☆19Apr 3, 2026Updated 5 months ago
- This is the official repository of the paper Top-N Recommendation Algorithms: A Quest for the State of the Art☆10Apr 5, 2022Updated 4 years ago
- Parallel solvers for optimal control☆20Mar 10, 2026Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆16Mar 2, 2026Updated 6 months ago
- ☆19Apr 13, 2023Updated 3 years ago
- Direct Trajectory Optimization in JAX☆29Nov 12, 2024Updated last year
- Diagnostics for Conditional Density Estimators and Bayesian Inference Algorithms☆15May 26, 2026Updated 3 months ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last week
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Sep 1, 2026Updated 2 weeks ago
- Dummy package and node for ROS2 GDB debugging☆10Sep 3, 2020Updated 6 years ago
- A comprehensive C++ program for calculating molecular thermochemistry properties from quantum chemistry outputs (Gaussian, Orca, GAMESS, …☆30Sep 6, 2026Updated 2 weeks ago
- A fast implementation of log() and exp()☆58Dec 14, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Pedagogical example of a simple lattice field theory simulation.☆19Nov 3, 2020Updated 5 years ago
- R-package for Bayesian preference learning with the Mallows rank model.☆22Feb 6, 2026Updated 7 months ago
- How to say it using Mathlib.☆20Sep 10, 2026Updated last week
- Comparisons of shaders across multiple APIs☆23Feb 23, 2023Updated 3 years ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 3 months ago
- Htex: Per-Halfedge Texturing for Arbitrary Mesh Topologies☆29Mar 9, 2024Updated 2 years ago
- Sources for OpenXR loader, basic API layers, and example code.☆15May 10, 2026Updated 4 months ago
- Experimentation framework for real-time light culling☆32Mar 27, 2026Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ACES Output Transforms☆23Sep 1, 2026Updated 2 weeks ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 3 months ago
- Pyinstrument's C extensions - enables the development of a fast statistical profiler☆11Oct 8, 2021Updated 4 years ago
- A Vulkan development framework☆18Updated this week
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 5 years ago
- Windows single header stack walker in C (DbgHelp.DLL)☆43Aug 7, 2021Updated 5 years ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 7 months ago