Alternatives and similar repositories for idris-blink

Users that are interested in idris-blink are comparing it to the libraries listed below

• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 6 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆124Updated last year
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆162Updated last week
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 3 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆95Updated 2 years ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆81Updated 5 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆78Updated 5 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 3 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆67Updated 2 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆162Updated 4 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆106Updated 8 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆80Updated last month
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆156Updated 4 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• ku-fpg / haskino
  Our Arduino experiments
  ☆75Updated 7 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆177Updated last month
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆137Updated 2 months ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆41Updated 8 months ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆53Updated last year
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 4 months ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆118Updated 2 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆97Updated 3 years ago