Gemini is a modern LaTex beamerposter theme 🖼

The math library of Lean 4

Lean 4 programming language and theorem prover

A computer algebra system written in pure Python

Implementations of SIMD instruction sets for systems which don't natively support them.

Chebfun: numerical computing with functions.

A tool used to obfuscate python scripts, bind obfuscated scripts to fixed machine or expire obfuscated scripts.

A Python Package to Tackle the Curse of Imbalanced Datasets in Machine Learning

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Notebooks about Bayesian methods for machine learning

Python package for Bayesian Machine Learning with scikit-learn API

Machine learning with dataframes

EPFL Course - Optimization for Machine Learning - CS-439

#1 Locally hosted web application that allows you to perform various operations on PDF files

Python library for arbitrary-precision floating-point arithmetic

Feature engineering package with sklearn like functionality

A toolkit for SAT-based prototyping in Python

Core C++ Sketch Library

Apache datasketches

Multivariate Imputation by Chained Equations

Mirror of Apache MADlib

"Probabilistic Machine Learning" - a book series by Kevin Murphy

A playbook for systematically maximizing the performance of deep learning models.

autodp: A flexible and easy-to-use package for differential privacy

Google's differential privacy libraries.

Efficiently computes derivatives of NumPy code.

A fast algorithm to optimally compose privacy guarantees of differentially private (DP) mechanisms to arbitrary accuracy.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

RAPPOR: Privacy-Preserving Reporting Algorithms

Library for training machine learning models with privacy for training data