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:
- Pure Kotlin CDCL SAT solver☆9Updated last year
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- Litmus testing tool for Kotlin/Native (WIP)☆10Updated 2 months ago
- ☆9Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆12Updated 2 weeks ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- A framework for automatic differentiation in Kotlin☆60Updated 3 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆136Updated this week
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆15Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆41Updated 2 months ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- ☆23Updated 3 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 8 months ago
- Theory and Applications of Lenses and Optics☆55Updated 3 years ago
- Formal grammars in Lean 3☆8Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- ✂️ Syntax correction in context-free languages.☆22Updated 3 weeks ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 5 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- Intrinsic Verification of Formal Grammar Theory☆26Updated this week
- Bonn Lean course for winter 24/25☆31Updated 7 months ago