Alternatives and similar repositories for stochaskell:

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

• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 7 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 4 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 8 months ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated 3 weeks ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• zaxtax / ocaml-clustering
  Collection of clustering algorithms written in Ocaml
  ☆19Updated 16 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• zenna / Arrows.jl
  ☆14Updated 5 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated last week
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• IDSIA / credici
  Credici: Credal Inference for Causal Inference
  ☆16Updated 5 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• edin-dal / structtensor
  ☆20Updated 5 months ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• LSaldyt / unitary-proposal
  My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…
  ☆12Updated 6 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year