Alternatives and similar repositories for andrews-deal

Users that are interested in andrews-deal are comparing it to the libraries listed below

• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• mmark-md / mmark-ext
  Commonly useful extensions for the MMark markdown processor
  ☆12Updated this week
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 5 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 5 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 6 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• nebuta / d3js-haskell
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Updated 11 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 2 weeks ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆34Updated 9 months ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• tim-m89 / Salsa
  A .NET Bridge for Haskell
  ☆24Updated 9 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated last year
• kseo / poly
  A simple ML dialect
  ☆11Updated 8 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated last year
• yamadapc / haskell-hspec-setup
  Add a hspec test-suite in one command
  ☆10Updated 9 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 4 years ago
• bartavelle / stateWriter
  A RWS like monad without the slow writer stuff
  ☆12Updated 2 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 7 years ago
• effectfully / Eff
  Experiments with effect systems
  ☆12Updated 9 years ago
• joelburget / easytest
  Simple testing toolkit
  ☆10Updated 4 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 8 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 7 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 3 months ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 8 years ago
• mattpolzin / ncurses-idris
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Updated last year