Library for validated numerics using interval arithmetic
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
Package of validators and sanitizers for strings, numerics, etc.
Error Trapping replacements fro C++ integer data types.
Lisp interpreter for the PSP + UNIX-clones.