Repository for the Probabilistic Generative Models module (MSc in Applied Maths, Imperial)
☆22May 15, 2026Updated 2 months ago
Alternatives and similar repositories for Probabilistic-Generative-Models
Users that are interested in Probabilistic-Generative-Models are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 9 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- ☆24Sep 10, 2021Updated 4 years ago
- Course notes for Formalising Mathematics 2026☆122Mar 31, 2026Updated 3 months ago
- ☆31Sep 8, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆46Oct 9, 2023Updated 2 years ago
- Statistical Mechanics on Lattices☆99Jul 14, 2026Updated last week
- A collection of scikit-learn compatible utilities that implement methods born out of the materials science and chemistry communities☆97Jul 1, 2026Updated 2 weeks ago
- ☆88Apr 16, 2025Updated last year
- Lean for the Curious Mathematician 2020☆67Oct 24, 2023Updated 2 years ago
- Lean 4 tutorial files☆63Nov 21, 2025Updated 8 months ago
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- ☆75Jun 12, 2026Updated last month
- Solvation model for the plane wave DFT code VASP.☆176Oct 1, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PyTorch implementation for Interpretable Dialog Generation ACL 2018, It is released by Tiancheng Zhao (Tony) from Dialog Research Center…☆197Jan 14, 2019Updated 7 years ago
- Formal verification for OCaml, with Rocq☆275May 18, 2026Updated 2 months ago
- A minimal development of SSA theory☆250Updated this week
- libAtoms/QUIP molecular dynamics framework: https://libatoms.github.io☆398Jul 5, 2026Updated 2 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆255Mar 18, 2025Updated last year
- sbi is a Python package for simulation-based inference, designed to meet the needs of both researchers and practitioners. Whether you nee…☆848Updated this week
- Torch-native, batchable, atomistic simulations.☆477Jul 7, 2026Updated 2 weeks ago
- Formally Verified Arguments of Knowledge in Lean☆313Updated this week
- A set of useful perceptually uniform colormaps for plotting scientific data☆746May 13, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax☆707Jan 26, 2026Updated 5 months ago
- A python package that extends Google Earth Engine.☆449Updated this week
- Lean 4 programming language and theorem prover☆8,528Updated this week
- The purpose of this repo is to make it easy to get started with JAX, Flax, and Haiku. It contains my "Machine Learning with JAX" series o…☆783Nov 29, 2023Updated 2 years ago
- Mathematical Components☆690Updated this week
- Rethinking On-Policy Distillation of Large Language Models: Phenomenology, Mechanism, and Recipe☆830Jun 29, 2026Updated 3 weeks ago
- The Arend Proof Assistant☆751Feb 25, 2025Updated last year
- 😇A pyTorch implementation of the DeepMoji model: state-of-the-art deep learning model for analyzing sentiment, emotion, sarcasm etc☆922Feb 12, 2024Updated 2 years ago
- Tutorials and content created by Earth Engine users, for Earth Engine users☆808Jun 17, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ML Collections is a library of Python Collections designed for ML use cases.☆1,038Jul 7, 2026Updated 2 weeks ago
- BlackJAX is a Bayesian Inference library designed for ease of use, speed and modularity.☆1,097Updated this week
- Optax is a gradient processing and optimization library for JAX.☆2,302Updated this week
- Extensible, parallel implementations of t-SNE☆1,620Jun 9, 2026Updated last month
- GPU Accelerated t-SNE for CUDA with Python bindings☆1,938Updated this week
- Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.☆2,720Updated this week
- Open-source scientific and technical publishing system built on Pandoc.☆5,852Updated this week