hongseok-yang / probprog17View external linksLinks
☆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:
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- ☆12May 12, 2025Updated 9 months ago
- ☆16Jan 31, 2026Updated 2 weeks ago
- 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 2 weeks ago
- ☆22Jun 30, 2020Updated 5 years ago
- Variational Walkback, NIPS'17☆28Oct 18, 2017Updated 8 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Mar 16, 2022Updated 3 years ago
- A data collection, enrichment and analysis system used in Orion search.☆25Jan 24, 2023Updated 3 years ago
- 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
- generative programming & verification☆34Jun 19, 2025Updated 7 months ago
- Sequential Monte Carlo working on top of pymc☆49Feb 21, 2019Updated 6 years ago
- “Replace your politicians with code.” — Home of the Popularis Direct Democracy Whitepaper.☆11Oct 31, 2022Updated 3 years ago
- Lecture notes and programming exercises carried out as part of the Computational Physics 2 course at Yachay Tech University.☆13Updated this week
- Code accompanying paper: Meta-Learning to Improve Pre-Training☆37Nov 2, 2021Updated 4 years ago
- Art of Prolog Code☆37Aug 28, 2019Updated 6 years ago
- ☆11Jul 25, 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
- RaiBlocks RPC Library for Python☆12May 8, 2017Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A document describing the HTTP/3 and QUIC protocols☆10Mar 14, 2019Updated 6 years ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated last week
- ☆11Mar 1, 2022Updated 3 years ago
- Lua Interpreter in React Native☆10Aug 20, 2022Updated 3 years ago
- Residual Quantization Autoencoder, used for interpreting LLMs☆13Jan 1, 2025Updated last year
- Code for utilising VAE as means of doing exact MCMC inference in complex high-dimensional space☆14Jun 20, 2023Updated 2 years ago
- ☆12Aug 15, 2023Updated 2 years ago
- Multi-node monitor / manager for Pocket Network Validator nodes☆10Dec 9, 2020Updated 5 years ago
- A project for converting Processing codes of Daniel Shiffman's The Nature of Code into javascript codes using d3.js.☆21Mar 8, 2013Updated 12 years ago
- CS6868: Concurrent Programming☆29Feb 9, 2026Updated last week
- probabilistic programming for PL folks☆160Jul 14, 2021Updated 4 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 6 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆391May 8, 2024Updated last year