Alternatives and similar repositories for andrews-deal

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

• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated last year
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• jdevuyst / rekenaar
  Idris tactics for (commutative) monoids
  ☆20Updated 5 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 5 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆53Updated 8 months ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 5 years ago
• irori / unlambda
  Unlambda interpreter
  ☆11Updated last year
• 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
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 7 years ago
• gbaz / works-in-progress
  scraps and bits and bobs
  ☆13Updated 3 years ago
• kazu-yamamoto / unix-time
  Fast time library
  ☆20Updated 5 months ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 5 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆16Updated 3 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• mattpolzin / ncurses-idris
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Updated last year
• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• dalaing / type-systems
  ☆23Updated 8 years ago
• brandonhamilton / ilist
  ℹ️ Index-related functions for lists
  ☆12Updated 4 years ago
• pcapriotti / agda-base
  Base library for HoTT in Agda
  ☆38Updated 6 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 10 years ago
• tim-m89 / Salsa
  A .NET Bridge for Haskell
  ☆25Updated 9 years ago
• Dash-Lambda / Eso
  A (mostly) purely functional console-based esoteric language interpreter.
  ☆13Updated 4 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆18Updated 5 years ago
• jespercockx / reflection-tutorial
  ☆17Updated 7 years ago