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"☆15Jul 21, 2020Updated 6 years ago
- ☆19Aug 13, 2026Updated 3 weeks ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years 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.
- Pretty printing library for SQL☆24Jun 24, 2023Updated 3 years ago
- PART: a fast algorithm for aggregating MCMC sub-chain samples☆10Sep 30, 2015Updated 10 years ago
- ☆19Updated this week
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 10 years ago
- Code used to generate results in vandermeerlab papers☆10Mar 7, 2022Updated 4 years ago
- A series of models applying memory augmented neural networks to machine translation☆15May 3, 2018Updated 8 years ago
- Automatic Recall Machines: Internal Replay, Continual Learning and the Brain☆11Jul 14, 2020Updated 6 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years 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.
- The dependent Dirichlet process mixture of objects (DDPMO) model for detection-free tracking and object modeling.☆15Jan 5, 2016Updated 10 years ago
- ☆23Apr 28, 2023Updated 3 years ago
- Experimental DataFusion Optimizer☆52Jun 9, 2023Updated 3 years ago
- "Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu☆29Aug 18, 2018Updated 8 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 9 months ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- Tools for inferring the types of inputs and outputs for functions and expressions☆14Jan 12, 2021Updated 5 years ago
- Wild Panoramic Panoptic Segmentation dataset☆15Jan 31, 2023Updated 3 years ago
- Tool for graph-based image segmentation and analysis☆22Nov 12, 2017Updated 8 years 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.
- DSL for probabilistic models specification and probabilistic programming.☆46Aug 16, 2026Updated 3 weeks ago
- Examples of Haskell versions of Numpy usage☆18Mar 23, 2017Updated 9 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago
- 40M GitHub repos metadata from GH Archive — stars, forks, language, license☆25Sep 1, 2025Updated last year
- Large Graph Convolutional Network Training with GPU-Oriented Data Communication Architecture (accepted by PVLDB)☆44Jul 1, 2023Updated 3 years ago
- Computer Papers☆12Jun 15, 2025Updated last year
- This is the ESDS. It contains the backend for the project. The main projects that are to be used are ingestion-service, api, simple-idp, …☆18Updated this week
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Oct 11, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ASDF extension to provide support for file-local variables☆10Jan 5, 2024Updated 2 years ago
- Some Compression streams (gzip, snappy, lz4) implementing the ZeroCopy Interface from Google(TM) protobuf 2.4.1☆19Apr 30, 2013Updated 13 years ago
- RISC-V Assembly code assembler package for Python.☆21Sep 18, 2024Updated last year
- Pytorch implementation of Localised Generative Flows☆12Jul 15, 2020Updated 6 years ago
- RC BASIC Programming Language☆12Oct 25, 2018Updated 7 years ago
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated 5 months ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆25Feb 25, 2022Updated 4 years ago