ekmett / vrLinks
nothing to see here
☆21Updated 9 years ago
Alternatives and similar repositories for vr
Users that are interested in vr are comparing it to the libraries listed below
Sorting:
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- ☆26Updated 9 years ago
- A categorical framework for circuit construction☆31Updated 9 years ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 3 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 4 months ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Haskell dynamic RTS loader☆13Updated 9 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆25Updated 8 years ago
- ☆51Updated 6 months ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 9 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- Cross Platform Haskell console application that should work on iOS and Android☆39Updated 10 years ago
- A Distributed Computing Library in Haskell☆52Updated 8 years ago
- Haskell Join-calculus DSL☆24Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 3 weeks ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Haskell library for efficiently building up buffers☆27Updated last year
- Yer another array library☆41Updated 7 years ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 11 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Generate and apply diffs between JSON documents.☆39Updated 3 years ago
- A more flexible mtl☆62Updated 7 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Simple lambda prover☆24Updated 10 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 10 years ago
- Church-encoding of the Freer monad☆28Updated 9 years ago