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
- A framework for automatic differentiation in Kotlin☆60Updated 2 years ago
- ☆9Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last week
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆14Updated last year
- Library-based Language Extensibility☆39Updated 10 years ago
- Materials for OPLSS 2021☆11Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆15Updated 10 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆15Updated 2 weeks ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆127Updated this week
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 3 years ago
- ☆22Updated 2 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 2 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- SRI Group Website☆9Updated this week
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- ☆12Updated 2 years ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Monoidal Toposes of Grammars and Semantic Actions☆19Updated this week
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Curated list of machine learning and deep learning frameworks and resources for JVM☆21Updated 4 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 7 years ago
- Formal grammars in Lean 3☆8Updated last year
- Scala staging framework☆16Updated 6 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated last year