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:
- Queues with verified and unverified versions☆9Updated 8 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- probabilistic programming in Haskell☆17Updated 8 years ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- ☆10Updated 7 years ago
- Handling errors which occur deep inside lens-chains☆17Updated 6 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 2 months ago
- Haskell bindings to glpk☆13Updated last year
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 2 weeks ago
- Haskell numerical ODE solvers☆14Updated 7 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆27Updated 6 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- ☆20Updated 2 years ago
- experiments with pext/pdep and codebruijn syntax☆17Updated 5 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Script to download all of Hackage☆15Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 10 months ago
- A bad XML parser☆21Updated 10 months ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Agda-style equational reasoning in Haskell☆53Updated 3 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- Haskell implementation of open games☆12Updated 9 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 5 months ago
- An efficient graph library for Haskell☆39Updated last month
- Traditional sparse linear algebra in Haskell☆12Updated 3 years ago