Alternatives and similar repositories for vr

Users that are interested in vr are comparing it to the libraries listed below

• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• jkarni / verdict
  ☆26Updated 9 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 9 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 3 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 4 months ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 7 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆29Updated 7 years ago
• DanielG / rts-loader
  Haskell dynamic RTS loader
  ☆13Updated 9 years ago
• ezyang / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆25Updated 8 years ago
• haskell-works / hw-json
  ☆51Updated 6 months ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆38Updated 3 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 9 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• EDeijl / CPHConsoleApp
  Cross Platform Haskell console application that should work on iOS and Android
  ☆39Updated 10 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 8 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 7 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated 3 weeks ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆27Updated last year
• leventov / yarr
  Yer another array library
  ☆41Updated 7 years ago
• athanclark / dag
  A well-typed Directed Acyclic Graph in Haskell
  ☆14Updated 11 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• thsutton / aeson-diff
  Generate and apply diffs between JSON documents.
  ☆39Updated 3 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆62Updated 7 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Updated 10 years ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆28Updated 9 years ago