Alternatives and similar repositories for idris-algebra

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

• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 3 weeks ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆32Updated 2 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 8 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆20Updated 7 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated 2 months ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago