danehuang / augurv2

Related projects ⓘ

Alternatives and complementary repositories for augurv2

• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆17Updated 2 weeks ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 6 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆40Updated 3 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• probcomp / haskell-trace-types
  Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
  ☆10Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆56Updated 3 years ago
• jtristan / stump-learnable
  ☆16Updated 3 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 7 months ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated last week
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆49Updated last year
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 6 months ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated 3 weeks ago
• sentenai / reinforce
  Reinforcement learning in haskell
  ☆45Updated 3 years ago
• min-nguyen / prob-fx
  A language for modular probabilistic modelling in Haskell based on effect handlers
  ☆16Updated 10 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• quickdudley / hfnn
  ☆25Updated 4 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆47Updated last year
• VMatthijs / CHAD
  ☆21Updated 2 years ago
• stephenpascoe / hs-arrow
  Haskell bindings to Apache Arrow
  ☆12Updated 6 years ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 4 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 3 years ago
• qnikst / numeric-ode
  Haskell numerical ODE solvers
  ☆14Updated 7 years ago