breandan / markovian
🎲 A Kotlin DSL for probabilistic programming.
☆12Updated 2 years ago
Related projects: ⓘ
- ☆10Updated last year
- Experiments with some ways of automating reasoning in lean 4☆15Updated 5 months ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Reversible programming in Agda☆11Updated last year
- ☆20Updated 2 years ago
- ☆14Updated last year
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆12Updated last week
- Materials for OPLSS 2021☆11Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆10Updated 3 years ago
- ✂️ Syntax correction in context-free and weakly context-sensitive languages.☆19Updated last month
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated this week
- An implementation of "A Typed, Algebraic Approach to Parsing"☆10Updated 2 years ago
- ☆13Updated last year
- Formalization of some elementary mathematical theories in Coq☆14Updated 4 years ago
- ☆24Updated 9 months ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 2 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- ☆13Updated 3 years ago
- Constructing automata with SAT solvers☆9Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆14Updated last month
- Credici: Credal Inference for Causal Inference☆16Updated last week
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆23Updated 2 months ago
- VMC: a Library for Verified Monte Carlo Algorithms☆12Updated last month
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆115Updated this week
- egraph on top of sqlite☆12Updated 2 years ago