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β10Updated last year
- Litmus testing tool for Kotlin/Native (WIP)β11Updated 5 months ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ142Updated last week
- Materials for OPLSS 2021β11Updated 4 years ago
- π Code Search Tools & Experimentsβ12Updated last month
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"β12Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformerβ12Updated 3 years ago
- A framework for automatic differentiation in Kotlinβ61Updated 3 years ago
- Reversible programming in Agdaβ12Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functionsβ25Updated 10 months ago
- An implementation of "A Typed, Algebraic Approach to Parsing"β11Updated 3 years ago
- βοΈ Syntax correction in context-free languages.β23Updated this week
- Theory and Applications of Lenses and Opticsβ56Updated 3 years ago
- Source code & exercises in Arend's documentationβ21Updated 4 years ago
- Bonn Lean course for winter 24/25β36Updated 3 weeks ago
- β44Updated this week
- Orchard Opetopic Proof Assistantβ27Updated 9 years ago
- typesafe implementation of tensor algebra in Haskellβ13Updated 4 years ago
- Dyna built on R-exprs (First Prototype)β17Updated 3 years ago
- β17Updated 5 months ago
- Experiments with some ways of automating reasoning in lean 4β16Updated last year
- SRI Group Websiteβ10Updated this week
- Automatic Differentiation using Pseudo Lenses. Neat.β20Updated 5 years ago
- FPsolve: solver for polynomial equations over omega-continuous semiringsβ11Updated 10 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"β32Updated 4 years ago
- An arbitrary-precision differentiable programming language.β36Updated 2 years ago
- β20Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph libraryβ28Updated 6 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformationsβ17Updated last week
- Implementation of Polymorphic Gradual Typingβ12Updated 7 years ago