L-BFGS-B, converted from Fortran to C, with Matlab wrapper

Server for forwarding iMessages to clients within the BlueBubbles App ecosystem

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

An open source library for the GPU-implementation of L-BFGS-B algorithm

Gas Golfing using Huff and Yul

Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

First-order conic solver for convex optimization problems

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Blazing fast concurrent HashMap for Rust.

Rust interface to OSQP: The Operator Splitting QP Solver

Rust bindings to the SCS convex optimization solver

C++ implementation of Ethereum JSON RPC daemon within Thorax architecture

Fastest Ethereum archive node ever built

Ledger Donjon CTF 2020