Repository for the Probabilistic Generative Models module (MSc in Applied Maths, Imperial)
☆25Oct 15, 2026Updated 2 weeks 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:
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Proof assistant for single sorted predicate logic☆14Sep 16, 2026Updated last month
- Code accompanying our paper at AISTATS 2020☆21Jan 12, 2021Updated 5 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Prooftrees for Typst - Inspired by Latex's bussproofs☆21Apr 29, 2024Updated 2 years ago
- Make your zero-knowledge circuits safe with formal verification. 🍀☆34Aug 24, 2026Updated 2 months ago
- ☆32Sep 8, 2023Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- Modern, Friendly, and Customizable Theorem Environments for Typst☆32Aug 15, 2026Updated 2 months ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆43Oct 21, 2020Updated 6 years ago
- ☆47Aug 31, 2023Updated 3 years ago
- Prime numbers for Coq☆45Sep 13, 2026Updated last month
- Library for parsing, generating, and analyzing LLZK code.☆46Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Pytorch Implemetation for our NAACL2019 Paper "Riemannian Normalizing Flow on Variational Wasserstein Autoencoder for Text Modeling" http…☆63Apr 1, 2020Updated 6 years ago
- Particle-mesh based calculations of long-range interactions in PyTorch☆83Aug 3, 2026Updated 2 months ago
- A cost-aware logical framework, embedded in Agda.☆80Oct 26, 2026Updated last week
- ☆76Jun 4, 2026Updated 4 months ago
- Lecture notes from Cambridge maths☆78Feb 1, 2024Updated 2 years ago
- ☆82Jun 12, 2026Updated 4 months ago
- A lecture notes template in Typst.☆86Jan 4, 2025Updated last year
- A high-performance toolkit for atomistic simulations in JAX.☆236Updated this week
- Deep-Learning framework for Engineering AI. Built on transformer building blocks, it delivers the full engineering stack, allowing teams …☆252Oct 7, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- typst-resume-template☆142Mar 18, 2024Updated 2 years ago
- A place to share problems solved with SciANN☆311Nov 6, 2023Updated 2 years ago
- Neural Network Force Field based on PyTorch☆293Jul 13, 2026Updated 3 months ago
- Lecture notebooks and coding assignments for the quantum machine learning MOOC created by Peter Wittek on EdX in the Spring 2019☆307May 11, 2024Updated 2 years ago
- Lean circuit DSL☆207Updated this week
- Repository for Marp Themes created with beauty and simplicity in mind.☆208Jul 23, 2026Updated 3 months ago
- A neovim plugin to navigate and execute code cells☆258Jun 10, 2024Updated 2 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆245Updated this week
- Formal verification for OCaml, with Rocq☆278May 18, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repository is the official implementation of the paper Convolutional Neural Operators for robust and accurate learning of PDEs☆236Nov 24, 2025Updated 11 months ago
- libAtoms/QUIP molecular dynamics framework: https://libatoms.github.io☆404Aug 22, 2026Updated 2 months ago
- Examples of CUDA implementations by Cutlass CuTe☆283Jul 1, 2025Updated last year
- An implementation of numbered theorem environments in typst☆292Oct 21, 2026Updated last week
- A Haskell library for converting LaTeX math to MathML.☆409Updated this week
- Solve forward and inverse problems related to partial differential equations using finite basis physics-informed neural networks (FBPINNs…☆581May 29, 2026Updated 5 months ago
- ☆295Aug 20, 2024Updated 2 years ago