General Mission Analysis Tool
Tool support for the Z formal notation
SigPack - A signal processing library using Armadillo
C++ header-only library that simulates GLSL math
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Fixed-length Arithmetic-types library
LIME is a software tool for creating multiphysics simulation codes.
The Advanced Algebraic Language.