Python library for defining and optimizing mathematical expressions
Geometric deep learning extension library for PyTorch
CUDA Templates for Linear Algebra Subroutines
fast C++ library for linear algebra & scientific computing
Uranie is CEA's uncertainty analysis platform, based on ROOT
Drop In the Bucket Neural Networks
C++ Statistical ToolKit
Framework & GUI for Bayes Nets and other probabilistic models.
fast C++ library for GPU linear algebra & scientific computing
Unicode XML TEI text analysis platform
decide simple geometric statements
Proof Logic : A logical framework for theorem proving
Synthetic data generation using R
Three different software tools for phenotyping plant root images
Time Series Forecasting.
Parallel Optimization Library for Java