Alternatives and similar repositories for purescript-mra:

Users that are interested in purescript-mra are comparing it to the libraries listed below

• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 weeks ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆26Updated 8 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• fpco / stream
  Streaming data library built around first-class stream fusion for high efficiency
  ☆11Updated 8 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated 4 months ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 3 weeks ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆23Updated 9 years ago
• lambda-11235 / FarRP
  An arrowized FRP library for Idris with static safety guarantees.
  ☆16Updated 6 years ago
• ndmitchell / derive
  A Haskell program and library to derive instances for data types
  ☆25Updated 4 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated last month
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 8 years ago
• UnkindPartition / freemonad-benchmark
  ☆24Updated 8 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• basvandijk / regions
  Provides the region monad for safely opening and working with scarce resources
  ☆33Updated 10 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆31Updated 8 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• Profpatsch / libnix-haskell
  Haskell library to interface with the nix package manager
  ☆25Updated 3 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 3 years ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated 7 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / magpie
  an exploration of subtyping-based category theory in scala
  ☆25Updated 14 years ago