☆28Dec 18, 2017Updated 8 years ago
Alternatives and similar repositories for probprog17
Users that are interested in probprog17 are comparing it to the libraries listed below
Sorting:
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- Mechanized baselines for various type system features☆18Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- Evaluation Framework for Probabilistic Programming Languages☆104Jan 18, 2024Updated 2 years ago
- ☆42Aug 14, 2017Updated 8 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆17Dec 21, 2015Updated 10 years ago
- Extensible Tensorflow library for differentiable particle filtering. ICML 2021.☆43Jan 24, 2023Updated 3 years ago
- Lecture notes and exercises carried out as part of the Quantum Mechanics 1 course taught at Yachay Tech University.☆14Jan 27, 2026Updated last month
- ☆22Jun 30, 2020Updated 5 years ago
- Variational Walkback, NIPS'17☆28Oct 18, 2017Updated 8 years ago
- Probabilistic Programming eXecution protocol (PPX)☆77Mar 16, 2022Updated 3 years ago
- A data collection, enrichment and analysis system used in Orion search.☆25Jan 24, 2023Updated 3 years ago
- Lecture notes and programming exercises carried out as part of the Computational Physics 1 course taught at Yachay Tech University.☆25Updated this week
- RelNN is a novel first-order deep neural model for relational learning.☆28Nov 15, 2017Updated 8 years ago
- Sigma is a probabilistic programming environment implemented in Julia☆68Jun 24, 2019Updated 6 years ago
- Sequential Monte Carlo working on top of pymc☆49Feb 21, 2019Updated 7 years ago
- “Replace your politicians with code.” — Home of the Popularis Direct Democracy Whitepaper.☆11Oct 31, 2022Updated 3 years ago
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Code for utilising VAE as means of doing exact MCMC inference in complex high-dimensional space☆14Jun 20, 2023Updated 2 years ago
- Source code for NeurIPS 2019 paper "Learning Latent Processes from High-Dimensional Event Sequences via Efficient Sampling""☆10Mar 20, 2021Updated 4 years ago
- Multi-node monitor / manager for Pocket Network Validator nodes☆10Dec 9, 2020Updated 5 years ago
- CS6868: Concurrent Programming☆32Feb 26, 2026Updated last week
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆11Jul 25, 2023Updated 2 years ago
- ☆19Feb 8, 2026Updated last month
- Lua Interpreter in React Native☆10Aug 20, 2022Updated 3 years ago
- Verifying the SCION architecture using Gobra☆11Feb 28, 2026Updated last week
- A document describing the HTTP/3 and QUIC protocols☆10Mar 14, 2019Updated 6 years ago
- Source code repository for the AISTAT 2023 paper Transport Reversible Jump Proposals.☆10Mar 3, 2023Updated 3 years ago
- Residual Quantization Autoencoder, used for interpreting LLMs☆14Jan 1, 2025Updated last year
- ☆12Mar 1, 2022Updated 4 years ago
- Material for my course of Computational Physics (3rd semester, obligatory), in National and Kapodistrian University of Athens☆16Jan 9, 2026Updated last month
- ☆39Dec 7, 2021Updated 4 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆392May 8, 2024Updated last year
- A lightweight Game Engine for React Native with @shopify/react-native-skia as the renderer 🕹⚡🎮☆13Aug 24, 2022Updated 3 years ago
- ☆10Aug 13, 2018Updated 7 years ago
- New MarioSequencer with the support for PocketMiku and now sings!☆14Aug 17, 2014Updated 11 years ago
- Machine Learning Reading Group☆11Sep 15, 2023Updated 2 years ago
- Normalized Wasserstein for Mixture Distributions☆11Mar 24, 2023Updated 2 years ago