Alternatives and similar repositories for idris-algebra

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

• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• idris-hackers / idris-lens
  ☆23Updated 9 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 5 months ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆60Updated 8 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 5 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆95Updated 7 years ago
• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆47Updated 2 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 7 years ago
• TimRichter / CId
  a little category theory in Idris
  ☆10Updated 9 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 6 months ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated last year
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 8 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated 2 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 7 months ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 3 years ago