Alternatives and similar repositories for idris

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

• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆53Updated 2 months ago
• eskimor / servant-purescript
  Translate servant API to purescript code, with the help of purescript-bridge.
  ☆108Updated 2 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 7 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 7 years ago
• purescript / purescript-control
  Common control classes and utility functions
  ☆56Updated last year
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• eskimor / purescript-bridge
  Create PureScript datatypes from Haskell datatypes
  ☆111Updated 11 months ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 7 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 2 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• justinwoo / purescript-simple-json
  A simple Purescript JSON library that uses types automatically
  ☆134Updated 2 years ago
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated 6 months ago
• aelve / guide
  A workspace for research teams
  ☆104Updated 5 years ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆67Updated 4 years ago
• haskell-servant / servant-quickcheck
  ☆39Updated last year
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated last year
• tfausak / purescript-neon
  ⚡️ A practical standard library for PureScript.
  ☆47Updated 7 years ago
• cjdev2 / test-fixture
  Testing with monadic side-effects
  ☆33Updated 4 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆72Updated 8 months ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• dmjio / envy
  Environmentally friendly environment variables
  ☆151Updated 6 months ago
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year