Advanced mathematical types and functions for Swift
SymbolicNumericIntegration.jl: Symbolic-Numerics for Solving Integrals
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
Long-running agents that optimize AI and Data systems
High performance numerics library in Java
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.