davidar / stochaskell

Related projects ⓘ

Alternatives and complementary repositories for stochaskell

• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆22Updated 5 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆52Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated 10 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆48Updated 9 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆13Updated 6 years ago
• dennybritz / probability-monads
  ☆10Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 10 months ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 5 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆12Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆76Updated 3 weeks ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 4 years ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆16Updated 4 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆17Updated 2 years ago
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago