ACL2 - язык программирования, на котором Вы можете смоделировать компьютерные системы, и инструмент, чтобы помочь Вам доказать свойства этих моделей.
Armadillo - это библиотека C++, реализующая процедуры линейной алгебры (работа с матрицами).
BLAS (англ. Basic Linear Algebra Subprograms — базовые подпрограммы линейной алгебры) — стандарт де-факто интерфейса программирования приложений для создания библиотек, выполняющих основные операции линейной алгебры, такие как умножение векторов и матриц. Он был впервые опубликован в 1979 и использован для создания бо́льших пакетов, например LAPACK.
Blitz++ – библиотека C++ для научных расчетов, которая обеспечивает производительность наравне с Fortran 77/90. Основана на темплейтах, для обеспечения максимальной производительности.
Mобильная в использовании C ++ криптографическая библиотека классов.
В пакете CrackLib находится библиотека, используемая для проверки стойкости паролей, что осуществляется с помощью сравнения паролей, выбранных пользователем, со словами, взятыми из списка слов.
GiNaC - мощная библиотека для различных математический вычислений на C++ с удобным api. Для чисел использует длинную арифметику CLN(Common Lisp Numbers), способна решать различные ДУ, и нелинейные уравнения.
Универсальная криптографическая библиотека с двойным лицензированием.
GNU Scientific Library (GSL) - библиотека для вычислений в прикладной математике и науке.
GPGME является библиотекой на языке С, которая позволяет добавлять в программы криптографическую поддержку. Он предназначен для того, чтобы в приложениях упростить доступ к движкам, использующим открытый ключ шифрования, например, GnuPG или GpgSM.
JSscience - всеобъемлющая Java библиотека, предоставляющая API для научных вычислений. API включает функции для выполнения различных задач из таких областей науки, как : физика, биология, социология, астрономия, экономика, география и др.
Высокоуровневая библиотека, реализующая математические алгоритмы на C++ для редактора векторной графики Inkscape.
Libgcrypt - библиотека, реализующая механизмы шифрования, применяемые в GnuPG.
Библиотека, обеспечивающая вызов API ядра для шифрования из пользовательского пространства.
Mатематическая библиотека, призванная упростить задачу разработчикам компьютерных игр на языке C++.
MathGL - это платформо-независимая библиотека, предназначенная для построения широкого спектра графиков (кривых, поверхностей, поверхностей уровня и т.д.).
Theano - это библиотека Python, которая позволяет вам определять, оптимизировать и вычислять значения математических выражения, в том числе многомерные массивы.
TooN - это библиотека на C++, предназначенная для эффективной обработки большого числа небольших матриц или векторов.