published Published 25 days ago
Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
Nix Vim Script C
published Published about 1 month ago
Uno: a composable framework for nonlinearly constrained optimization
C++ AMPL C Fortran
published Published about 2 months ago
faer: A linear algebra library for the Rust programming language
Rust C++ C
published Published 2 months ago
LinearMPC.jl: A Julia Package for Embedded Linear Model Predictive Control
C Julia
published Published 5 months ago
HierarchyCraft: A Benchmark Builder for Hierarchical Reasoning
PowerShell Nix Python
published Published 5 months ago
MOPAC: An open-source semiempirical molecular orbital program
C Fortran
published Published 6 months ago
RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains
C++ Meson
published Published 7 months ago

