antonioterpin / pinetView external linksLinks
This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.
☆54Updated this week
Alternatives and similar repositories for pinet
Users that are interested in pinet are comparing it to the libraries listed below
Sorting:
- ☆15Jan 21, 2026Updated 3 weeks ago
- Code of the paper "Simplifying Certifiable Estimation: A Factor Graph Optimization Approach"☆27May 28, 2025Updated 8 months ago
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆19Jan 16, 2026Updated 3 weeks ago
- An efficient implementation of differentiable NMPC based on acados. Code to reproduce the results in our paper.☆35Jan 29, 2026Updated 2 weeks ago
- PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power a…☆34Jan 31, 2026Updated 2 weeks ago
- ☆19Sep 22, 2025Updated 4 months ago
- Disciplined convex stochastic programming. For the cvxstoc home page, please see:☆32Sep 15, 2020Updated 5 years ago
- ☆19Nov 20, 2025Updated 2 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 week
- ☆10Mar 24, 2025Updated 10 months ago
- ☆12Jun 18, 2024Updated last year
- Visualize linear programming at https://lpviz.net☆31Jan 20, 2026Updated 3 weeks ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆12Mar 15, 2023Updated 2 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
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Learning-to-Optimize for Mixed-Integer Non-Linear Programming☆61Nov 29, 2025Updated 2 months ago
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- Official implementation of ECCV 2024 paper: "Event-based Mosaicing Bundle Adjustment"☆12Mar 12, 2025Updated 11 months ago
- Modelling and optimization for microgrids, energy hubs, distribution systems and transmission systems☆11Dec 14, 2022Updated 3 years ago
- ☆17Dec 30, 2025Updated last month
- ☆12Nov 5, 2025Updated 3 months ago
- a trail version of simulator to test the algorithms of PECS☆14Jul 11, 2024Updated last year
- Hybrid European MV-LV Models for Smart Distribution Network Modelling☆10Dec 11, 2021Updated 4 years ago
- NonNegative Matrix Factorization with Low Rank via the Alternating Direction Method of Multipliers☆10Jul 4, 2017Updated 8 years ago
- CAPD library☆15Jan 4, 2026Updated last month
- A festive Secret Santa organizer that matches participants automatically while handling constraints! 🎄✨☆10Nov 29, 2025Updated 2 months ago
- ☆10Mar 25, 2024Updated last year
- Python wrapper of DACE, the Differential Algebra Computational Toolbox.☆17Dec 24, 2025Updated last month
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Inertia estimation based on accelerometer and gyroscopic data☆16Apr 23, 2025Updated 9 months ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- ☆13Jan 8, 2026Updated last month
- ☆27Nov 13, 2025Updated 3 months ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- This example shows how to perform quantization aware training for transfer learned MobileNet-v2 network.☆12Dec 19, 2023Updated 2 years ago