FSNet: Feasibility-Seeking Neural Network for Constrained Optimization with Guarantees

Production-ready Claude subagents collection with 100+ specialized AI agents for full-stack development, DevOps, data science, and business operations.

A curated list of awesome commands, files, and workflows for Claude Code

🌈一个跨平台的划词翻译和OCR软件 | A cross-platform software for text translation and recognition.

A package of distributionally robust optimization (DRO) methods. Implemented via cvxpy and PyTorch

Matlab implementation of decentralized real-time iterations for distributed MPC.

LaTeX template for the response to reviewer comments (scientific journal publications)

Web interface for recognizing text, proofreading OCR, and creating fully-digitized documents.

A cross-platform desktop app for managing and switching provider configurations & MCP servers for Claude Code and Codex.

Rapidly build AI apps in Python

Trame lets you weave various components and technologies into a Web Application solely written in Python.

PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power and energy systems.

JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)

A GPU-Accelerated First-Order LP Solver

Companion Repository for the Lecture Slides for the Clang Libraries

Convex optimization modeling in Lean 4

csp is a high performance reactive stream processing library, written in C++ and Python

This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.

Fast operator-overloading Jacobian & Hessian sparsity pattern detection.

Fatrop is a nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness.

Open catalogue of power grid datasets for testing tool interoperability and reproducibility

Modes and nodes for high-order discretizations

clad -- automatic differentiation for C/C++

AISystem 主要是指AI系统，包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术

The Dyad Language Kernel

GPU-friendly, auto-differentiable LQR solver with JAX.