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
Agena is an interpreted procedural programming language.
CFD-related Fortran libraries and applications
Ada Library for heterogenous vectors
Package of validators and sanitizers for strings, numerics, etc.
CodeNames is a simple C# library for random identifier generation.
Error Trapping replacements fro C++ integer data types.
Lisp interpreter for the PSP + UNIX-clones.