breandan / markovian
🎲 A Kotlin DSL for probabilistic programming.
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for markovian
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- A framework for automatic differentiation in Kotlin☆60Updated 2 years ago
- ☆10Updated last year
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10Updated 3 years ago
- 🔍 Code Search Tools & Experiments☆11Updated this week
- Experiments with some ways of automating reasoning in lean 4☆15Updated 7 months ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 2 years ago
- ✂️ Syntax correction in context-free and weakly context-sensitive languages.☆21Updated last month
- ☆21Updated 2 years ago
- Materials for OPLSS 2021☆11Updated 3 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated 2 weeks ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆118Updated this week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆13Updated 2 weeks ago
- egraph on top of sqlite☆12Updated 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…☆30Updated 8 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆14Updated last year
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆10Updated 2 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated last month
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Library-based Language Extensibility☆39Updated 10 years ago
- Reversible programming in Agda☆12Updated last year
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆73Updated this week