agarret7 / modppl
Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait interface.
☆11Updated 8 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 2 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆29Updated last week
- ACSets: Algebraic databases as in-memory data structures☆23Updated 2 weeks 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
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Relational Algebra, now with more algebra!☆53Updated this week
- A graphical editor for graph-like structures☆98Updated last year
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- collective tools for Julia SSA IR.☆29Updated last year
- Assorted s-expression utilities for Julia☆16Updated last year
- Julia interface to Z3☆63Updated 5 months ago
- multiparameter typeclasses for Julia☆24Updated 8 years ago
- egraph <-> json☆13Updated 7 months ago
- ☆18Updated 3 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Structured decompositions!☆13Updated last month
- ☆14Updated 5 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Updated 2 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆15Updated last year
- BQN implementation in Julia☆18Updated 3 years ago
- A little less conversation, a little more abstraction☆87Updated 3 years ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Entity Component System with julia☆63Updated last year