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 8 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 2 weeks ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 6 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆13Updated last month
• zaxtax / ocaml-clustering
  Collection of clustering algorithms written in Ocaml
  ☆19Updated 16 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 10 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• JuliaIntervals / IntervalContractors.jl
  Interval contractors and inverse (reverse) functions for Julia
  ☆10Updated 8 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆70Updated 6 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated this week
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 11 months ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆83Updated 6 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆53Updated this week
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 4 years ago
• zenna / Arrows.jl
  ☆14Updated 5 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year