🎲 A Kotlin DSL for probabilistic programming.
☆12Apr 8, 2022Updated 3 years ago
Alternatives and similar repositories for markovian
Users that are interested in markovian are comparing it to the libraries listed below
Sorting:
- Multiplatform dynamic visualization framework including Plotly-kt☆42Feb 1, 2026Updated last month
- A clean multi-platform re-implementation of dataforge concepts☆26Jan 30, 2026Updated last month
- AWS Cloudfront access log parsing for gathering analytic data, implemented in Kotlin☆11Jan 10, 2021Updated 5 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- Lightweight SCADA device servers and integrations in Kotlin-Multiplatform☆34Jan 24, 2026Updated last month
- Java library for joining objects into a graph, JOin gRAPH☆11Dec 12, 2020Updated 5 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Compile Kotlin code and run Kapt annotation processing directly from Kotlin☆12Jun 24, 2023Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Analytics for Trading with NOA☆26Jan 24, 2022Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/python☆48Nov 13, 2023Updated 2 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- Set of examples with lets-plot graphs☆12Jun 10, 2021Updated 4 years ago
- Ktorm migration support☆15Aug 9, 2021Updated 4 years ago
- Automatic differentiation for NumPy☆42Jun 14, 2013Updated 12 years ago
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years ago
- Kotlin implementation of the Monkey Language☆17Jun 30, 2025Updated 8 months ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- A Kotlin DSL to write tests for your graphql-java schema☆13Jan 7, 2021Updated 5 years ago
- ☆17Apr 21, 2025Updated 10 months ago
- An immutable, infinite-precision Rational (ratio, fraction) class for Kotlin☆14Nov 21, 2025Updated 3 months ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- 📸 Augmened reality for trace link navigation.☆18Dec 23, 2022Updated 3 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Object Algebra Composition☆24Jul 4, 2013Updated 12 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- Kotlin Compiler Plugin that gives you the ability to be notified every time annotated function is called☆37Apr 14, 2025Updated 10 months ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago