Alternatives and similar repositories for th-cas:

Users that are interested in th-cas are comparing it to the libraries listed below

• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆12Updated 7 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 5 years ago
• emmanueldenloye / manifoldRNC
  ☆10Updated 8 years ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 5 years ago
• haskell-works / hw-hspec-hedgehog
  ☆10Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• Gabriella439 / sig
  Blazing fast signature detection
  ☆10Updated 2 years ago
• schrammc / mnist-idx
  Read and write data in the IDX format used in e.g. the MNIST database
  ☆9Updated last year
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• andrewthad / packed
  Unpinned byte arrays in GHC haskell
  ☆22Updated 6 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• nebuta / d3js-haskell
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Updated 10 years ago
• mpickering / plugin-constraint
  ☆10Updated 6 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 4 years ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 5 years ago
• haskell-github-trust / replace-attoparsec
  Stream editing with Haskell Attoparsec parsers
  ☆14Updated last year
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 4 years ago
• mjhopkins / category-cheat-sheet
  Cheat sheet for Haskellers wanting to get up to speed with category theory
  ☆12Updated 4 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 2 years ago
• ekmett / half
  half-precision floating-point
  ☆14Updated last month