breandan / markovianLinks
🎲 A Kotlin DSL for probabilistic programming.
☆12Updated 3 years ago
Alternatives and similar repositories for markovian
Users that are interested in markovian are comparing it to the libraries listed below
Sorting:
- 🗿 SAT solver wrappers for Kotlin☆11Updated last year
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆143Updated 2 weeks ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- ✂️ Syntax correction in context-free languages.☆23Updated this week
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- Reversible programming in Agda☆12Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last month
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆10Updated 8 months ago
- Implementation of Polymorphic Gradual Typing☆12Updated 7 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last month
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last week
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- Intrinsic Verification of Formal Grammar Theory☆27Updated 3 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Tensors, Model Inference, Linear Regression, MNIST, LSTM with TensorFlow, DL4j, komputation, DJL on Kotlin☆17Updated 4 years ago
- ☆45Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- A framework for automatic differentiation in Kotlin☆61Updated 3 years ago
- ☆11Updated last year
- Online BDD Simulation Tool☆21Updated 3 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago