ekmett / vr
nothing to see here
☆21Updated 8 years ago
Alternatives and similar repositories for vr
Users that are interested in vr are comparing it to the libraries listed below
Sorting:
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Updated 8 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 8 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆13Updated 5 months ago
- A bad XML parser☆21Updated 8 months ago
- ☆25Updated 4 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- Experimental implementation of generic record subtyping☆18Updated last year
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 8 months ago
- Script to download all of Hackage☆15Updated 5 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- http://www.stephendiehl.com/posts/generics.html☆12Updated 9 years ago
- Perform GPIO from Haskell☆21Updated 5 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆22Updated 8 years ago
- Polymorphic directed graphs☆12Updated 8 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆21Updated last year
- high-resolution performance benchmarking☆26Updated 3 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Some standalone stream fusion experiments☆13Updated 9 years ago