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)β9Updated 2 months ago
- A framework for automatic differentiation in Kotlinβ60Updated 2 years ago
- β9Updated 2 years ago
- an optimizing curry compilerβ14Updated 2 years ago
- βοΈ Syntax correction in context-free languages.β22Updated this week
- Regular Invariant Generator and SMTLIB2 code transformerβ12Updated 2 years ago
- Materials for OPLSS 2021β11Updated 4 years ago
- Source code & exercises in Arend's documentationβ21Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpretersβ14Updated last year
- β12Updated 2 years ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ136Updated this week
- β23Updated 3 years ago
- An interface for using mwillsey/egg with math simplification.β13Updated last year
- Modification to Coq to record intermediate proof states encountered during a proofβ8Updated 6 years ago
- Luck -- A Language for Property-Based Generatorsβ35Updated 4 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"β12Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4β16Updated last year
- Formal grammars in Lean 3β8Updated last year
- β13Updated 3 years ago
- Verifying encodings into propositional logic in Leanβ12Updated last year
- Bonn Lean course for winter 24/25β31Updated 6 months ago
- Library-based Language Extensibilityβ39Updated 10 years ago
- a throwaway implementation of normalization by evaluationβ13Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme proβ¦β31Updated 9 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Provingβ39Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functionsβ25Updated 7 months ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- π Code Search Tools & Experimentsβ12Updated this week
- Orchard Opetopic Proof Assistantβ27Updated 9 years ago