Alternatives and similar repositories for haskell-matlab

Users that are interested in haskell-matlab are comparing it to the libraries listed below

• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 7 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated 4 months ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 10 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 9 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 9 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆21Updated last year
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 7 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• pepeiborra / control-monad-exception
  Explicitly Typed exceptions as a library
  ☆22Updated 4 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• YellPika / effin
  A Typeable-free implementation of extensible effects
  ☆26Updated 7 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• steven777400 / TwilioIVR
  A fluent Twilio IVR library for Haskell
  ☆20Updated 9 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago