Alternatives and similar repositories for idris

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

• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆72Updated 7 months ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• nikita-volkov / neat-interpolation
  A quasiquoter for neat and simple multiline text interpolation
  ☆56Updated last year
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆100Updated last year
• cjdev2 / text-conversions
  Safe conversions between Haskell textual types
  ☆39Updated 3 years ago
• kcsongor / purescript-safe-printf
  Safe printf-like formatting in purescript
  ☆37Updated 5 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 5 years ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆53Updated 2 months ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆72Updated 7 months ago
• purescript / purescript-datetime
  Date and time library for PureScript.
  ☆49Updated 2 years ago
• haskell-to-elm / haskell-to-elm
  Generate Elm types, encoders, and decoders from Haskell types
  ☆61Updated 10 months ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 3 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• debug-ito / greskell
  Haskell binding for Gremlin graph query language
  ☆27Updated 4 months ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 7 months ago
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• eskimor / servant-purescript
  Translate servant API to purescript code, with the help of purescript-bridge.
  ☆108Updated 2 years ago
• knupfer / type-of-html
  High performance type safe html generation
  ☆128Updated 2 years ago
• jgm / cheapskate
  Experimental markdown processor in Haskell
  ☆108Updated 4 years ago