breandan / markovian
🎲 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☆9Updated last year
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- 🔍 Code Search Tools & Experiments☆12Updated 2 weeks ago
- ☆9Updated 2 years ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆13Updated last year
- An interface for using mwillsey/egg with math simplification.☆13Updated 11 months ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆132Updated last week
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆23Updated 2 years ago
- Materials for OPLSS 2021☆11Updated 3 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆24Updated last month
- ☆14Updated 2 years ago
- A framework for automatic differentiation in Kotlin☆60Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 9 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 2 months ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 4 years ago
- ☆12Updated 2 years ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- ☆40Updated 2 weeks ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- How to read Lean☆17Updated 3 months ago
- ☆12Updated 2 years ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- ☆27Updated 3 years ago
- Curated list of machine learning and deep learning frameworks and resources for JVM☆20Updated 4 years ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Library-based Language Extensibility☆39Updated 10 years ago