This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.
☆54Feb 9, 2026Updated last month
Alternatives and similar repositories for pinet
Users that are interested in pinet are comparing it to the libraries listed below
Sorting:
- ☆15Feb 25, 2026Updated last week
- Code of the paper "Simplifying Certifiable Estimation: A Factor Graph Optimization Approach"☆27May 28, 2025Updated 9 months ago
- Multi-task end-to-end predict-then-optimize☆14Apr 28, 2023Updated 2 years ago
- COHORT: Coordination of Heterogeneous Thermostatically Controlled Loads for Demand Flexibility☆14Feb 3, 2021Updated 5 years ago
- An efficient implementation of differentiable NMPC based on acados. Code to reproduce the results in our paper.☆37Jan 29, 2026Updated last month
- PyTorch utilities for Optimal Power Flow☆28Mar 17, 2025Updated 11 months ago
- ☆19Sep 22, 2025Updated 5 months ago
- PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power a…☆34Updated this week
- Data and code for the paper Data-Driven Robust Optimization using Unsupervised Deep Learning written by Marc Goerigk and Jannis Kurtz☆26Jun 7, 2021Updated 4 years ago
- Disciplined convex stochastic programming. For the cvxstoc home page, please see:☆32Sep 15, 2020Updated 5 years ago
- General Use Binary Asteroid Simulator☆14Jan 23, 2025Updated last year
- JAX implementation of the JKOnet* architecture presented in "Learning Diffusion at Lightspeed".☆37Mar 18, 2025Updated 11 months ago
- QuESt Planning is a long-term power system capacity expansion planning model that identifies cost-optimal energy storage, generation, and…☆14Feb 4, 2026Updated last month
- ☆10Mar 24, 2025Updated 11 months ago
- ☆19Nov 20, 2025Updated 3 months ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆19Dec 27, 2025Updated 2 months ago
- ☆12Mar 15, 2023Updated 2 years ago
- Learning-to-Optimize for Mixed-Integer Non-Linear Programming☆61Feb 18, 2026Updated 2 weeks ago
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Source code for the paper titled: "Unlocking the full potential of smart charging: Addressing paused and delayed charging problems in ele…☆11May 22, 2024Updated last year
- ☆12Jun 18, 2024Updated last year
- This package generates power grid scenarios using GEMINI trained on historical grid asset actual and forecasted values.☆11Dec 8, 2025Updated 3 months ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Modelling and optimization for microgrids, energy hubs, distribution systems and transmission systems☆11Dec 14, 2022Updated 3 years ago
- ☆13Nov 5, 2025Updated 4 months ago
- ☆15Jan 20, 2024Updated 2 years ago
- Official implementation of "Event-Aided Sharp Radiance Field Reconstruction for Fast-Flying Drones"☆34Mar 1, 2026Updated last week
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Hybrid European MV-LV Models for Smart Distribution Network Modelling☆10Dec 11, 2021Updated 4 years ago
- Inertia estimation based on accelerometer and gyroscopic data☆17Feb 24, 2026Updated last week
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- ☆10Mar 25, 2024Updated last year
- A festive Secret Santa organizer that matches participants automatically while handling constraints! 🎄✨☆10Nov 29, 2025Updated 3 months ago
- Official implementation of ECCV 2024 paper: "Event-based Mosaicing Bundle Adjustment"☆12Mar 12, 2025Updated 11 months ago
- ☆14Jan 8, 2026Updated 2 months ago
- ☆10Aug 13, 2022Updated 3 years ago