Library for construction, manipulation and evaluation of factorable functions
☆13Dec 13, 2025Updated 2 months ago
Alternatives and similar repositories for mcpp
Users that are interested in mcpp are comparing it to the libraries listed below
Sorting:
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago
- Julia interface to SNOPT (must obtain a licensed copy of SNOPT separately)☆19May 23, 2025Updated 9 months ago
- Rigorous Global Branch-and-Bound Optimizer☆24Dec 13, 2024Updated last year
- A Julia package to approximate multivariate continuous functions using Smolyak's method.☆18Dec 15, 2025Updated 2 months ago
- Arithmetic with small and with very large rationals is made fast.☆23Feb 9, 2026Updated 2 weeks ago
- A forward McCormick operator library☆18Updated this week
- Extension of MultivariatePolynomials to semialgebraic sets☆22Oct 8, 2024Updated last year
- Enclosures of real-valued functions in Julia☆23Updated this week
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Nov 25, 2022Updated 3 years ago
- A development environment for robust and global optimization☆157Updated this week
- Julia package for hierarchical matrices☆28Oct 24, 2024Updated last year
- Special Structure Detection for Pyomo☆26Jul 14, 2022Updated 3 years ago
- Exact real arithmetic in Haskell☆25Dec 13, 2021Updated 4 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 2 months ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Dec 21, 2025Updated 2 months ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Feb 19, 2026Updated last week
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- Some useful lenses☆35Feb 21, 2026Updated last week
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Unified interface for interacting with Git forges☆13Jun 25, 2025Updated 8 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- CLP(BNR) module for SWI-Prolog☆44Dec 4, 2025Updated 2 months ago
- C++ iterator that performs the cartesian product of many containers.☆11Jan 12, 2016Updated 10 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Inverse Kinematics Robot Controller for Kerbal☆10Jun 5, 2020Updated 5 years ago
- Remez algorithm for computing minimax polynomial approximations☆45Aug 10, 2020Updated 5 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- A Petri net modeling framework for the Julia programming language☆43Nov 22, 2023Updated 2 years ago
- A linter for Soufflé Datalog☆16Apr 1, 2024Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- Rigorous moment propagation with partial information about moments and dependencies in Julia☆12May 7, 2022Updated 3 years ago
- ☆12Mar 4, 2025Updated 11 months ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago