A library (and application examples) of stochastic discrete-time Markov Chains (DTMC) in Clojure
☆32Sep 10, 2020Updated 5 years ago
Alternatives and similar repositories for markov-chains
Users that are interested in markov-chains are comparing it to the libraries listed below
Sorting:
- showcase how to integrate three OpenGL library into Clojure electric☆21Jul 20, 2023Updated 2 years ago
- Utilities to help you test hiccup markup generating functions☆20Feb 6, 2025Updated last year
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Don't use this project anymore, use https://github.com/clj-commons/rewrite-clj instead. Rewrite-cljc is dead, long live rewrite-clj!☆25Mar 10, 2021Updated 4 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- nREPL middleware to sync with REBL☆11Aug 15, 2019Updated 6 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- core.async channel based event bus for Clojure(Script)☆10Dec 8, 2018Updated 7 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- ☆12May 9, 2015Updated 10 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- A Clojure library for efficient data access using batching and caching.☆10Jan 15, 2021Updated 5 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated last week
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- A robust and generalized library for Geometric Algebra in Rust☆27Dec 29, 2025Updated 2 months ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 2 weeks ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- ☆16Feb 18, 2025Updated last year
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 10 months ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 2 months ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- Lasertag is a utility library for categorizing values in Clojure, ClojureScript, and Babashka☆17Jan 24, 2026Updated last month
- A window manager for Microsoft Windows written in Clojure.☆30Feb 16, 2014Updated 12 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- Fit distributions with mle, mge, mme and qme methods (+ bootstrap)☆47Sep 25, 2024Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Test your concurrent thoughts, don't let it be a nightmare☆13Nov 5, 2021Updated 4 years ago