davidar / stochaskell

Related projects ⓘ

Alternatives and complementary repositories for stochaskell

• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆26Updated last week
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated 10 months ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• dennybritz / probability-monads
  ☆10Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆45Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆24Updated 3 weeks ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆23Updated 2 weeks ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆48Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆11Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆29Updated this week
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆53Updated 2 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆66Updated 3 weeks ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆12Updated 9 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago