agarret7 / modppl
Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait interface.
☆11Updated 7 months ago
Alternatives and similar repositories for modppl:
Users that are interested in modppl are comparing it to the libraries listed below
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 3 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- ☆17Updated this week
- multiparameter typeclasses for Julia☆24Updated 8 years ago
- Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.☆23Updated 2 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- collective tools for Julia SSA IR.☆29Updated last year
- egraph <-> json☆13Updated 6 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆23Updated 3 weeks ago
- Relational Algebra, now with more algebra!☆52Updated 2 weeks ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- A graphical editor for graph-like structures☆98Updated last year
- Benchmarks for differentiable programming across languages and domains.☆13Updated this week
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 3 years ago
- Structured decompositions!☆12Updated last week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- Julia library to manipulate MLIR dialects.☆59Updated 2 months ago
- ☆14Updated 6 months ago
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆15Updated last year
- QuickCheck-like automated testing for Julia☆21Updated 4 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Entity Component System with julia☆62Updated last year
- ꩜ Lift Julia array operations to MLIR dialects and run using IREE.☆41Updated 2 months ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- A DSL for modern parsing☆46Updated 11 months ago