A header-only C++ library for interacting with crypto exchanges
Semidefinite programming optimization solver
Scalable fuzzing infrastructure
Analyzing, storing and visualizing big data, scientifically
A minimal implementation of diffusion models for text generation
Ethereum smart contract fuzzer
A fast production-ready static web server with TLS (HTTPS)
Scoring and Minimization with AutoDock Vina
Proximal algorithms for nonsmooth optimization in Julia
Computation and Visualization environment
Drop In the Bucket Neural Networks
Code for finding nodes in a material using first-principle approach.
JQM - Java Quine McCluskey for minimization of Boolean functions.
A gradient-based augmented Lagrangian framework for embedded NMPC
PyRPL turns your Red Pitaya into a powerful analog feedback device.
Finite Element Method on 3D Meshes
Automated detection of the unknown early map projection
Versión en español del software OxMaR.
Automation for Minimization of Protein Data Bank Files, version 1.0
A web-based minimisation service