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:
- Notes for the Lectures of Year 2 Computing 2021-22☆43Mar 14, 2023Updated 3 years ago
- CmuMD implementation for PLUMED2☆24Aug 4, 2023Updated 3 years ago
- Probabilistic Inference Course, Department of Computing, Imperial College London, Spring 2023.☆20Jan 28, 2025Updated last year
- ☆23Feb 17, 2024Updated 2 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Course notes for Formalising Mathematics 2026☆127Mar 31, 2026Updated 4 months ago
- [NeurIPS 2025 Spotlight] "Stochastic Process Learning via Operator Flow Matching"☆23Apr 26, 2026Updated 3 months ago
- ☆31Sep 8, 2023Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆39Oct 5, 2023Updated 2 years ago
- Generator for Large Scale Structure☆54Aug 1, 2026Updated last week
- Tutorials of few enhanced sampling methods along with bash script to run the method in a single shot..☆49Feb 11, 2021Updated 5 years ago
- Core logic of Slay the Spire implemented in Lean4 for formal verification proofs☆29Apr 6, 2026Updated 4 months ago
- Statistical Mechanics on Lattices☆99Aug 3, 2026Updated last week
- Particle-mesh based calculations of long-range interactions in PyTorch☆81Aug 3, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lean for the Curious Mathematician 2020☆67Oct 24, 2023Updated 2 years ago
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- Viewer for the 🤗 datasets library.☆87Jul 30, 2021Updated 5 years ago
- Lean 4 tutorial files☆63Nov 21, 2025Updated 8 months ago
- Build neural networks for machine learning force fields with JAX☆137Jun 2, 2025Updated last year
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- SOTA Black-box optimization (Python and JS) without the baggage☆158Jul 22, 2026Updated 2 weeks ago
- ☆77Jun 12, 2026Updated last month
- You like Beamer? You need Powerpoint? Fake Beamer is for you!☆72Apr 26, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A high-performance toolkit for atomistic simulations in JAX.☆225Updated this week
- Deep-Learning framework for Engineering AI. Built on transformer building blocks, it delivers the full engineering stack, allowing teams …☆232Jul 1, 2026Updated last month
- A selection of textbook-like course notes for the Imperial College Computing modules.☆100Mar 23, 2024Updated 2 years ago
- LaTeX document class for writing pretty notes☆120Apr 26, 2023Updated 3 years ago
- A list of Python-based MCMC & ABC packages☆124Jun 8, 2025Updated last year
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆210Updated this week
- Formal verification for OCaml, with Rocq☆274May 18, 2026Updated 2 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆253Mar 18, 2025Updated last year
- High performance Python GLMs with all the features!☆380Aug 3, 2026Updated last week
- 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.
- Differentiable computations of the signature and logsignature transforms, on both CPU and GPU. (ICLR 2021)☆312Jan 11, 2024Updated 2 years ago
- Allegro is a code for building highly scalable E(3)-equivariant interatomic potentials☆495May 29, 2026Updated 2 months ago
- Solve forward and inverse problems related to partial differential equations using finite basis physics-informed neural networks (FBPINNs…☆570May 29, 2026Updated 2 months ago
- 一份简短的关于 LaTeX 安装的介绍☆524Jul 22, 2026Updated 3 weeks ago
- sbi is a Python package for simulation-based inference, designed to meet the needs of both researchers and practitioners. Whether you nee…☆854Updated this week
- Torch-native, batchable, atomistic simulations.☆483Updated this week
- Formally Verified Arguments of Knowledge in Lean☆322Updated this week