declanoller / haskell-vae
Learning about Haskell with Variational Autoencoders
☆19Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-vae
- An experiment in functional interface design☆23Updated 8 years ago
- Dependently typed convolutional neural networks☆34Updated 7 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Unpinned byte arrays in GHC haskell☆22Updated 5 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- probabilistic programming in Haskell☆17Updated 8 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- A monad for managed values☆50Updated last year
- ☆13Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Example how to append data to a Haskell executable using sqlite☆11Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Safe web routing in haskell☆30Updated last year
- Reasonably efficient probability monad for Haskell.☆19Updated 10 years ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 3 years ago
- Symbol manipulation☆36Updated last year
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month