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
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last week
- Materials for OPLSS 2021☆11Updated 4 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Updated 3 years ago
- Reversible programming in Agda☆13Updated 2 years ago
- ✂️ Syntax correction in context-free languages.☆23Updated this week
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆145Updated this week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 10 months ago
- Intrinsic Verification of Formal Grammar Theory☆27Updated last month
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- A framework for automatic differentiation in Kotlin☆60Updated 3 years ago
- ☆22Updated 2 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 7 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Updated this week
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- Dafny for Metatheory of Programming Languages☆26Updated 4 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 2 months ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago