Alternatives and similar repositories for andrews-deal

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

• helvm / helpa
  🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell
  ☆12Updated 4 months ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 11 years ago
• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 4 years ago
• RyanGlScott / th-lift
  Derive Template Haskell's Lift class for datatypes.
  ☆13Updated 7 months ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 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
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• isovector / circuitry
  the missing haskell circuit diagram library
  ☆13Updated 3 years ago
• kolmodin / cabal-install-trace
  Render a log of cabal install as a graph
  ☆10Updated 9 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 8 months ago
• alhassy / multistage-programming-taha
  A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
  ☆10Updated 6 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 6 months ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated 3 months ago
• atzeus / RoyalMonad
  Bow before the ultimate generality of the Royal Monad!
  ☆10Updated 9 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 11 months ago
• BryghtWords / rules_idris
  Idris rules for Bazel
  ☆13Updated 6 years ago