Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

A BNB Smart Chain client based on the go-ethereum fork

Minimum-distortion embedding with PyTorch

🦄 🦄 🦄 Core smart contracts of Uniswap v3

Linearly Constrained Separable Optimization

Go implementation of the Ethereum protocol

Covariance prediction via convex optimization

Portfolio optimization with deep learning.

An R modeling language for convex optimization problems.

Source code for the examples accompanying the paper "Learning convex optimization control policies."

Code for "Fitting a Linear Control Policy to Demonstrations with a Kalman Constraint"

Repository for "Fitting a Kalman Smoother to Data"

Differentiable convex optimization layers

Anderson accelerated Douglas-Rachford splitting

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

Python interface for OSQP

Proximal algorithms for nonsmooth optimization in Julia

Proximal operators for nonsmooth optimization in Julia

Differentiable Optimization-Based Modeling for Machine Learning

List of neighboring/bordering/adjacent states for each USA state

An intelligent block matrix library for numpy, PyTorch, and beyond.

Differentiation through cone programs

Puffer is a free live TV streaming website and a research study at Stanford using machine learning to improve video streaming

Proximal Operator Graph Solver

The Operator Splitting QP Solver

A secure embedded operating system for microcontrollers