NLnetLabs / unbound

Unbound is a validating, recursive, and caching DNS resolver.

blechschmidt / massdns

A high-performance DNS stub resolver for bulk lookups and reconnaissance (subdomain enumeration)

c-ares / c-ares

A C library for asynchronous DNS requests

acados / acados

Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control

hypre-space / hypre

Parallel solvers for sparse linear systems featuring multigrid methods.

giaf / hpipm

High-performance interior-point-method QP and QCQP solvers

llnl / sundials

Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.

scipopt / scip

SCIP - Solving Constraint Integer Programs

cvxgrp / scs

Splitting Conic Solver