A compiler for BLOG probabilistic programming language
☆26Dec 2, 2017Updated 8 years ago
Alternatives and similar repositories for swift
Users that are interested in swift are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Nonparametric Hamiltonian Monte Carlo☆13Feb 13, 2023Updated 3 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆14Jul 21, 2020Updated 5 years ago
- Repository of models in Pyro☆30Jul 25, 2024Updated last year
- Continuously tempered Hamiltonian Monte Carlo☆12Apr 12, 2017Updated 8 years ago
- ☆19Feb 21, 2026Updated last month
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Adaptive Sparse Coding☆10Sep 6, 2016Updated 9 years ago
- PART: a fast algorithm for aggregating MCMC sub-chain samples☆10Sep 30, 2015Updated 10 years ago
- ☆19Mar 13, 2026Updated 2 weeks ago
- DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution☆11Nov 5, 2015Updated 10 years ago
- Nonlinear SVGD for Learning Diversified Mixture Models☆13Jan 23, 2019Updated 7 years ago
- Scruff.jl☆37Jan 13, 2026Updated 2 months ago
- Main repo for the Boss API☆20Nov 21, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Detail-Sensitive Panoramic Annular Semantic Segmentation☆12May 19, 2022Updated 3 years ago
- A series of models applying memory augmented neural networks to machine translation☆15May 3, 2018Updated 7 years ago
- Automatic Recall Machines: Internal Replay, Continual Learning and the Brain☆11Jul 14, 2020Updated 5 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- The project is about predicting sets (of classes) from images.☆23Aug 31, 2021Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆23Apr 28, 2023Updated 2 years ago
- Tools for inferring the types of inputs and outputs for functions and expressions☆14Jan 12, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Code to accompany the paper "Fast Hamiltonian Monte Carlo Using GPU Computing"☆36Nov 3, 2016Updated 9 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 4 months ago
- Demo of MRF processing pipeline used for data presented at ISMRM 2022 (program number 53)☆10May 5, 2022Updated 3 years ago
- build a simple key value store based on LSM tree like rocksdb/leveldb☆41Mar 16, 2020Updated 6 years ago
- Example codes and data for VFA-EPTI work☆11Dec 30, 2020Updated 5 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆65Mar 20, 2024Updated 2 years ago
- An idris backend compiling to chez scheme☆48Sep 30, 2017Updated 8 years ago
- Showcase how to serve your Vue assets from Fastapi☆11Jan 31, 2023Updated 3 years ago
- Provenance Visualization Tool☆15Jun 10, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 6 years ago
- ☆10Dec 5, 2020Updated 5 years ago
- Tool for graph-based image segmentation and analysis☆22Nov 12, 2017Updated 8 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- hyperloglog counts things using the HyperLogLog algorithm to estimate cardinality☆32Aug 4, 2022Updated 3 years ago
- Structured Neural Networks☆15May 21, 2024Updated last year