Alternatives and similar repositories for awesome-idris:

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

• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆453Updated 5 years ago
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆649Updated last week
• edwinb / Blodwen
  A prototype successor to Idris
  ☆538Updated 5 years ago
• valderman / selda
  A type-safe, high-level SQL library for Haskell
  ☆477Updated 7 months ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆929Updated last month
• uhub / awesome-haskell
  A curated list of awesome Haskell frameworks, libraries and software.
  ☆423Updated this week
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• alexwl / haskell-code-explorer
  Web application for exploring and understanding Haskell codebases
  ☆516Updated last year
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆521Updated 6 years ago
• kowainik / summoner
  🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
  ☆703Updated 2 months ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆711Updated this week
• haskell-perf / checklist
  The Haskell performance checklist
  ☆373Updated 4 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆313Updated 3 years ago
• passy / awesome-purescript
  A curation of awesome PureScript libraries, resources and shiny things.
  ☆470Updated 2 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,212Updated this week
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆385Updated this week
• albohlabs / awesome-haskell
  A curated list of amazingly awesome Haskell articles and talks for beginners.
  ☆190Updated 2 years ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆863Updated 2 months ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆220Updated last month
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆643Updated last year
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆991Updated last month
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆368Updated last week
• haskell / mtl
  The Monad Transformer Library
  ☆367Updated 5 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆506Updated 6 months ago
• commercialhaskell / rio
  A standard library for Haskell
  ☆847Updated 5 months ago
• haskell-foundation / foundation
  Empire strikes back
  ☆464Updated last year
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆170Updated 2 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆901Updated 4 years ago
• transient-haskell / transient
  A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…
  ☆634Updated 3 years ago
• isovector / thinking-with-types
  📖 source material for Thinking with Types
  ☆480Updated last year