breandan / markovian
🎲 A Kotlin DSL for probabilistic programming.
☆12Updated 2 years ago
Alternatives and similar repositories for markovian:
Users that are interested in markovian are comparing it to the libraries listed below
- ☆9Updated 2 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆128Updated this week
- A framework for automatic differentiation in Kotlin☆60Updated 2 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆15Updated 11 months ago
- 🔍 Code Search Tools & Experiments☆12Updated last month
- An interface for using mwillsey/egg with math simplification.☆13Updated 10 months ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 4 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- ✂️ Syntax correction in context-free and weakly context-sensitive languages.☆22Updated this week
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 8 months ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- ☆14Updated last year
- Materials for OPLSS 2021☆11Updated 3 years ago
- ☆12Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆12Updated last year
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 5 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 9 months ago
- A demonstration of source code transformation to implement automatic differentiation, compatible with an operation overload style AD libr…☆13Updated 2 years ago
- Bonn Lean course for winter 24/25☆27Updated 3 months ago
- Metamath verifier in Python☆38Updated 11 months ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 2 months ago
- Formal grammars in Lean 3☆8Updated last year
- ☆19Updated 2 years ago