Advanced mathematical types and functions for Swift
SymbolicNumericIntegration.jl: Symbolic-Numerics for Solving Integrals
Library for validated numerics using interval arithmetic
High performance numerics library in Java
Library for the numerical simulation of closed as well as open quantum
Collection of common code shared among different research projects
CFD-related Fortran libraries and applications
Agena is an interpreted procedural programming language.
Ada Library for heterogenous vectors
Computer Assisted Proofs in Dynamics
Archiso profile based on CyberOS with DUNE Numerics
Package of validators and sanitizers for strings, numerics, etc.
Numerical models for chemical and process engineering
Porous-Media Simulator
Error Trapping replacements fro C++ integer data types.
Lisp interpreter for the PSP + UNIX-clones.