Tool support for the Z formal notation
Geometric deep learning extension library for PyTorch
fast C++ library for GPU linear algebra & scientific computing
Use simulation to perform statistical analyses.
Python code able to convert / compress image to PI (3.14, π) Indexes
Social Network Analysis and Visualization software
Scientific computing, machine learning and computer vision for .NET
error function and related functions in pure standard Fortran 2008
Software for exact computing based on interval arithmetic.
GPU based Parallel Gene-Gene Interaction Analysis
Parallelized FREquency DEComposer algorithm
Complex error functions, Dawson, Faddeeva, and Voigt function
library for Bilinear Pairing
Java Decision Diagrams (BDD) libraries: JDD and JBDD