Rewriting the Stan compiler in OCaml
☆23Jul 20, 2021Updated 5 years ago
Alternatives and similar repositories for stanc3
Users that are interested in stanc3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python interface for the Stan to (Num)Pyro compiler.☆14Oct 20, 2021Updated 4 years ago
- Deep Probabilistic Programming Language☆19Jul 25, 2024Updated 2 years ago
- Watson Assistant OCaml SDK☆21Dec 7, 2018Updated 7 years ago
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆49Sep 17, 2025Updated last year
- Bayesian Regression Models in Pyro☆75Jul 25, 2024Updated 2 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.
- ReactiveML: a programming language for implementing interactive systems.☆20Nov 14, 2022Updated 3 years ago
- Compilation and Verification of Data-Centric Languages☆60Jul 17, 2024Updated 2 years ago
- probabilistic programming focused on fun☆52Aug 6, 2026Updated 2 months ago
- A synchronous language with ODEs☆60Oct 3, 2026Updated last week
- A simple library to run variational inference on Stan models.☆33Apr 11, 2023Updated 3 years ago
- Database with posteriors of interest for Bayesian inference☆233Updated this week
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Jun 7, 2023Updated 3 years ago
- The all seeing chess eye.☆19Jul 26, 2017Updated 9 years ago
- A Lustre compiler in Coq☆71Aug 28, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Helper functions for orthogonal polynomials in R☆19Oct 20, 2022Updated 3 years ago
- Utilities for loading posteriordb with Julia☆15Sep 28, 2026Updated last week
- An R package implementing an idiosyncratic Stan workflow☆15Aug 18, 2022Updated 4 years ago
- pre-commit hooks for running JuliaFormatter.jl☆12Nov 30, 2025Updated 10 months ago
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 5 months ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆19Sep 17, 2025Updated last year
- ☆26Jul 18, 2022Updated 4 years ago
- BayesVL package for Bayesian statistical analyses in R☆23May 25, 2022Updated 4 years ago
- Generative models with JAX.☆22Feb 21, 2026Updated 7 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.
- Custom PDF report layouts to export ggplot2 visualizations☆11Mar 1, 2019Updated 7 years ago
- StatististicalRethinking notebook project using Stan and Pluto notebooks.☆18Aug 9, 2024Updated 2 years ago
- The Stan transpiler (from Stan to C++ and beyond).☆161Oct 1, 2026Updated last week
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Stochastic Gradient MCMC for Jax☆20May 19, 2025Updated last year
- ☆22Sep 30, 2025Updated last year
- GLPK, but it's Python.☆14Sep 3, 2024Updated 2 years ago
- ☆13Jul 4, 2020Updated 6 years ago
- Bayesian Generalized Linear Models with Time-Varying Coefficients☆46Aug 29, 2024Updated 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.
- Data and functions to support Julia projects based on the book "Regression and Other Stories" by Andrew Gelman, Jennifer Hill and Aki Veh…☆27Nov 21, 2025Updated 10 months ago
- ☆159Sep 15, 2022Updated 4 years ago
- Within-orbit Adaptive Leapfrog No-U-Turn Sampler☆66Updated this week
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 2 months ago
- An implementation of PSIS algorithms in Julia.☆25Aug 30, 2026Updated last month
- Wrapper for wttr.in weather forecast.☆12Updated this week
- This repository created for the NHN ASR hackathon competition.☆12Sep 20, 2023Updated 3 years ago