Differential Algebra Computational Toolbox
☆46Apr 21, 2025Updated 10 months ago
Alternatives and similar repositories for dace
Users that are interested in dace are comparing it to the libraries listed below
Sorting:
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆79Oct 13, 2025Updated 4 months ago
- ☆10May 2, 2020Updated 5 years ago
- Python wrapper of DACE, the Differential Algebra Computational Toolbox.☆18Dec 24, 2025Updated 2 months ago
- Python library for ODE integration via Taylor's method and LLVM☆87Feb 13, 2026Updated 2 weeks ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Code to train and test ThermoNets: a neural, differentiable, model for the thermosphere density.☆16May 31, 2024Updated last year
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Jan 4, 2026Updated last month
- A practical astrodynamics for research and engineering applications☆63Updated this week
- NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility☆33May 10, 2022Updated 3 years ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆33Feb 23, 2026Updated last week
- Uncertainty Quantification toolbox☆14Sep 22, 2022Updated 3 years ago
- The current implementation of `LinearAlgebra.eigen` does not support sensitivities. DifferentiableEigen.jl offers an `eigen` function tha…☆35Sep 15, 2025Updated 5 months ago
- C++ library for ODE integration via Taylor's method and LLVM☆236Feb 12, 2026Updated 2 weeks ago
- Halo orbit solver with modern Fortran☆18Jun 2, 2025Updated 9 months ago
- SpaceDSL is astrodynamics simulation library. This library can work on Windows, Linux and Mac OS.☆37Aug 15, 2020Updated 5 years ago
- Symbolic music generation taking inspiration from NLP and human composition process☆18Jun 28, 2023Updated 2 years ago
- A developers repository for the tudat environment.☆19Jul 18, 2025Updated 7 months ago
- A peper list for machine learning models solving combinatorial problems, NP-hard problems and problems in graphs.☆14Aug 14, 2020Updated 5 years ago
- A Python library for solving Initial Value Problems using various numerical integration methods.☆19Feb 12, 2026Updated 2 weeks ago
- Determination of optimal spacecraft landing trajectories via convex optimization☆19Jun 6, 2019Updated 6 years ago
- Matlab Radial Basis Functions interpolation☆19Jun 26, 2018Updated 7 years ago
- Implementation of the tree width algorithms.☆20Nov 24, 2025Updated 3 months ago
- A collection of Matlab classes implementing the Geometric Algebra G(3,0,1) for homogeneous transformations of 3D rigid bodies in 4D proje…☆30Apr 9, 2024Updated last year
- Global FloodPLAIN mapping using a geomorphic algorithm☆28Jan 22, 2020Updated 6 years ago
- Python wrapper generator for Fortran☆31Feb 6, 2026Updated 3 weeks ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Feb 24, 2026Updated last week
- A validated modern C++ implementation of the NASA Standard Breakup Model☆28Nov 6, 2023Updated 2 years ago
- LogicCircuit is a program that helps build/simulate simple circuits using logic gates. It is meant to teach people the basics of how logi…☆10Feb 16, 2026Updated 2 weeks ago
- A C++ platform to perform astrodynamics and space research.☆31Jan 14, 2026Updated last month
- ☆31Feb 22, 2024Updated 2 years ago
- dSGP4: differentiable SGP4. Supports differentiability, ML integration & embarassingly parallel computations☆79Apr 16, 2025Updated 10 months ago
- Implementation of a polyhedral gravity model in C++17 with a Python Binding☆35Oct 17, 2025Updated 4 months ago
- The package 'data-driven density estimation x' (dddex) turns any standard point forecasting model into an estimator of the underlying con…☆10Dec 1, 2025Updated 3 months ago
- Python wrapper for Google Maps JavaScript API V3 and Google Earth API.☆17Sep 13, 2014Updated 11 years ago
- Software to analyze geodetic data from VLBI☆30Feb 18, 2026Updated last week
- Code for the paper "Auto differentiable Ensemble Kalman Filters" (https://arxiv.org/abs/2107.07687), accepted for publication in SIAM Jou…☆37May 9, 2022Updated 3 years ago
- Fortran Units (environment) for Reliable phYsical math☆34Apr 4, 2023Updated 2 years ago
- ☆42Jan 30, 2026Updated last month
- code for "Search-based task and motion planning for hybrid systems: Agile autonomous vehicles"☆37Sep 30, 2024Updated last year