danehuang / augurv2

Related projects ⓘ

Alternatives and complementary repositories for augurv2

• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 6 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆17Updated last week
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆40Updated 3 years ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 5 months ago
• jtristan / stump-learnable
  ☆15Updated 3 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆56Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆14Updated last year
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 4 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆49Updated last year
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 7 months ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆90Updated 6 years ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• coq / stdlib2
  ☆39Updated 9 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• qnikst / numeric-ode
  Haskell numerical ODE solvers
  ☆14Updated 7 years ago
• ericfinster / catt
  Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
  ☆13Updated 7 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 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
• ericfinster / higher-alg
  An approach to higher algebra in type theory
  ☆23Updated 4 years ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 8 years ago
• tip-org / tools
  ☆21Updated 9 months ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆95Updated last month
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆69Updated 3 years ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year