mbed TLS (formerly known as PolarSSL) is a lean open source crypto library for providing SSL and TLS support in your programs. It offers an intuitive API and documented header files, so you can actually understand what the code does. It features: - Symmetric algorithms, like AES, Blowfish, Triple-DES, DES, ARC4, Camellia and XTEA - Hash algorithms, like SHA-1, SHA-2, RIPEMD-160 and MD5 - Entropy pool and random generators, like CTR-DRBG and HMAC-DRBG - Public key algorithms, like RSA, Elliptic Curves, Diffie-Hellman, ECDSA and ECDH - TLS 1.0, 1.1 and 1.2 - Abstraction layers for ciphers, hashes, public key operations, platform abstraction and threading

SageMath is a free open-source mathematics software system licensed under the GPL. It builds on top of many existing open-source packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and many more. Access their combined power through a common, Python-based language or directly via interfaces or wrappers.

A fast supply of concurrent unique identifiers suitable for use within a single process. Once the initial 'Supply' has been initialized, the remainder of the API is pure. See "Control.Concurrent.Supply" for details.

A Python library for accessing and searching dictionaries via /slashed/paths aka xpath.

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

Dynamic simulation of solids processes, is a dynamic flowsheet modelling system designed to simulate the time-dependent behaviour of complex production processes in solids processing technology