Alternatives and similar repositories for markovian

Users that are interested in markovian are comparing it to the libraries listed below

• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆9Updated last year
• facebookresearch / diffkt
  A framework for automatic differentiation in Kotlin
  ☆60Updated 2 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆9Updated last month
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 5 months ago
• ekmett / nbe-in-java-19
  a throwaway implementation of normalization by evaluation
  ☆13Updated 2 years ago
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 4 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• rocq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 7 months ago
• HoTT / HoTT-2019
  Conference on Homotopy Type Theory 2019
  ☆15Updated 5 years ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 3 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 7 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆24Updated 2 months ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 3 years ago
• breandan / yuri
  👨‍🚀 A type-safe URI builder in Kotlin
  ☆20Updated 2 years ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• rocq-community / aac-tactics
  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…
  ☆31Updated 3 months ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆137Updated this week
• smtcoq / sniper
  ☆36Updated 2 months ago