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 9 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated 2 weeks ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆27Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 10 months ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆14Updated 2 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 6 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 9 months ago
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 8 months ago
• lanl / McPhD
  A Parallel Haskell framework for particle-based Monte Carlo simulations
  ☆13Updated 6 years ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 6 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated last year