byorgey / boltzmannLinks
☆10Updated 9 years ago
Alternatives and similar repositories for boltzmann
Users that are interested in boltzmann are comparing it to the libraries listed below
Sorting:
- probabilistic programming in Haskell☆17Updated 8 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Queues with verified and unverified versions☆9Updated 8 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- ☆10Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 4 years ago
- ☆20Updated 2 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Handling errors which occur deep inside lens-chains☆17Updated 6 years ago
- Agda-style equational reasoning in Haskell☆53Updated 3 months ago
- Exact real arithmetic in Haskell☆25Updated 3 years ago
- Haskell bindings to the Eigen C++ library☆16Updated last year
- experiments with pext/pdep and codebruijn syntax☆17Updated 5 years ago
- Haskell implementation of open games☆12Updated 9 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆27Updated 6 years ago
- Haskell bindings to glpk☆13Updated last year
- Haskell dynamic RTS loader☆13Updated 9 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 10 months ago
- backprop primitives for hmatrix☆14Updated 5 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago