Imposition of Hard Convex Constraints on Neural Networks
☆98Oct 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for rayen
Users that are interested in rayen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nonsmooth Unconstrained Optimization via Limited Memory Bundle Method☆15Mar 18, 2021Updated 5 years ago
- A Learning-to-Optimize (L2O) package for Mixed-Integer Nonlinear Programming (MINLP)☆12Mar 15, 2026Updated 7 months ago
- ☆362Apr 1, 2026Updated 7 months ago
- a project of FastLab☆12Oct 30, 2023Updated 3 years ago
- A simple, lightweight Python/PyBullet-based Micro Aerial Vehicles simulator - Code for our work "Output-Feedback Tube MPC Guided Data Aug…☆17Oct 20, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- List of planning algorithms developed at MIT-ACL☆38Jul 12, 2023Updated 3 years ago
- Use PyTorch Models with CasADi and Acados☆253Nov 1, 2023Updated 3 years ago
- Rule-Based Lloyd (RBL) Multi-robot motion planning and control☆19Apr 28, 2025Updated last year
- Use PyTorch Models with CasADi for data-driven optimization or learning-based optimal control. Supports Acados.☆596Jun 5, 2025Updated last year
- A Proximal Interior Point Quadratic Programming solver☆167Oct 25, 2026Updated last week
- A fast algorithm for finding an optimal path in a collection of safe boxes☆73Feb 28, 2025Updated last year
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆185Feb 23, 2025Updated last year
- ☆15Sep 24, 2024Updated 2 years ago
- EPFL Verifier for Approximate Neural Networks and QPs☆10Dec 7, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆28Mar 25, 2026Updated 7 months ago
- Differentiable QP solver in JAX☆175Jul 24, 2026Updated 3 months ago
- A cusomized terrestrial-aerial bimodal vehicle (TABV) platform for terrestrial-aerial autonomous navigation.☆20May 6, 2022Updated 4 years ago
- Official implementation for the paper "CoVO-MPC: Theoretical Analysis of Sampling-based MPC and Optimal Covariance Design" accepted by L4…☆148May 22, 2024Updated 2 years ago
- AutoTrans: A Complete Planning and Control Framework for Autonomous UAV Payload Transportation☆78Mar 6, 2024Updated 2 years ago
- Differentiable collision detection for capsules in JAX.☆56Dec 2, 2023Updated 2 years ago
- iPlanner: Imperative Path Planning. An end-to-end learning planning framework using a novel unsupervised imperative learning approach☆370Feb 23, 2025Updated last year
- ☆120Oct 9, 2026Updated 3 weeks ago
- Official implementation for the paper "Model-based Diffusion for Trajectory Optimization". Model-based diffusion (MBD) is a novel diffusi…☆345Mar 27, 2025Updated last year
- 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.
- Repository for the code of our ICLR paper: Backpropagation through Combinatorial Algorithms: Identity with Projection Works☆13Sep 29, 2024Updated 2 years ago
- Learn fundamental knowledge in robotics☆308Aug 29, 2025Updated last year
- Obstacle state estimation using ROS☆14Jun 1, 2020Updated 6 years ago
- WarpMPC: Large-Batch MPC on GPU via ADMM with Unrolled LDLᵀ Factorization.☆23Oct 16, 2026Updated 2 weeks ago
- PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL☆932Apr 29, 2026Updated 6 months ago
- A curated collection of papers, seminars, courses, and technical resources for robotic research.☆194Jul 15, 2026Updated 3 months ago
- ☆16Jan 21, 2026Updated 9 months ago
- Multi-robot local motion planning using dynamic optimization fabrics.☆40Jul 30, 2024Updated 2 years ago
- EIQP: Execution-time-certified and Infeasibility-detecting QP Solver☆16Sep 23, 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.
- A GPU-Accelerated Quadratic Programming Solver for Model-Predictive Control☆149Nov 18, 2025Updated 11 months ago
- https://github.com/uos/mesh_tools☆20Jun 9, 2022Updated 4 years ago
- Fast, orientation-aware trajectory planning using a novel Gaussian overlap-based collision formulation, modeling both robot and environme…☆55Jul 16, 2025Updated last year
- Small-Dimensional Quadratic Programming in Linear Time☆80Aug 4, 2022Updated 4 years ago
- Flexible Animation for Flying Robots☆65Jun 2, 2023Updated 3 years ago
- A lite version of Fast-planner, global planner, using MINCO back-end. 代码简洁，供参考学习。☆83May 18, 2022Updated 4 years ago
- Base line test with: A Robust and Efficient Trajectory Planner for Quadrotors☆13Oct 16, 2023Updated 3 years ago