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.
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.