Probabilistic programming with vectorized programmable inference
☆27Sep 27, 2026Updated last month
Alternatives and similar repositories for genjax
Users that are interested in genjax are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Probabilistic programming with vectorized programmable inference☆13Sep 27, 2026Updated last month
- Probabilistic programming with programmable inference for parallel accelerators.☆58Mar 19, 2026Updated 7 months ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- Learning for effective and efficient bilevel planning☆25Updated this week
- Julia Package for reading Inventory Routing Problem data files☆11Nov 16, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- collective tools for Julia SSA IR.☆29Nov 30, 2023Updated 2 years ago
- Library for displaying small previews of Tensors. Useful for working with TensorFlow in Swift.☆13Dec 27, 2021Updated 4 years ago
- A probabilistic programming language for metacognitive modeling☆168Oct 21, 2026Updated 2 weeks ago
- A language for sorcery☆25Aug 17, 2026Updated 2 months ago
- A functional API for auction simulations☆13May 28, 2018Updated 8 years ago
- Common Lisp like condition system for Julia☆15Oct 12, 2023Updated 3 years ago
- The implementation of "Discrete Neural Algorithmic Reasoning"☆14Sep 10, 2024Updated 2 years ago
- ☆18Oct 17, 2023Updated 3 years ago
- Probabilistic programming with programmable variational inference.☆22Jul 13, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Learning to optimize (L2O) package that provides basic functionalities to help fit proxy models for optimization.☆16Apr 1, 2025Updated last year
- Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications☆41Mar 9, 2026Updated 7 months ago
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆34Oct 29, 2026Updated last week
- MCP for tmux, powered by libtmux☆14Oct 31, 2026Updated last week
- OPTIMEO is a web application doubled by a package that helps you optimize your experimental process by generating a Design of Experiment,…☆12Oct 26, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Random variate generation library in C☆10Oct 21, 2026Updated 2 weeks ago
- [NeurIPS'25] Sequence Modeling with Spectral Mean Flows, in PyTorch☆12Oct 20, 2025Updated last year
- ☆11Feb 24, 2019Updated 7 years ago
- Julia library to manipulate MLIR dialects.☆68Oct 22, 2026Updated 2 weeks ago
- A Kotlin Multiplatform NDArray implementation using xsimd☆12Feb 1, 2026Updated 9 months ago
- Scala library for biochemical network simulation, associated with the 3rd edition of the textbook Stochastic Modelling for Systems Biolog…☆13Dec 3, 2025Updated 11 months ago
- A distributed search and SQL analytics engine in Rust with Raft consensus, hybrid BM25+vector search, and a search-aware query planner — …☆16Oct 18, 2026Updated 2 weeks ago
- Pytorch code for Sampling in Combinatorial Spaces with SurVAE Flow Augmented MCMC☆11Mar 1, 2021Updated 5 years ago
- Regular expressions based on words☆10May 3, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Swift implementation of the MARPA algorithms☆21Jan 20, 2025Updated last year
- Course material for "Introduction to Probabilistic Programming for Scientific Discovery"☆18Aug 7, 2020Updated 6 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- ☆10Jul 7, 2020Updated 6 years ago
- simple string mutations for julia 💼☆13Oct 2, 2022Updated 4 years ago
- Kotlin Multiplatform (Android + iOS + Desktop) reference app demonstrating clean architecture, convention plugins, Room 3, Navigation 3, …☆16Updated this week