joaomilho / awesome-idrisLinks
๐ Awesome Idris resources
โ403Updated 5 years ago
Alternatives and similar repositories for awesome-idris
Users that are interested in awesome-idris are comparing it to the libraries listed below
Sorting:
- Software Foundations in Idrisโ454Updated 6 years ago
- Resources for type theory, functional programming, etc.โ321Updated 4 years ago
- A curated list of awesome Haskell frameworks, libraries and software.โ449Updated 2 weeks ago
- The home of the Glamorous Glambda interpreterโ225Updated 4 months ago
- Sample code from "Type Driven Development with Idris"โ166Updated 7 years ago
- A prototype successor to Idrisโ540Updated 6 years ago
- Category theory in the context of (functional) programmingโ523Updated 7 years ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.โ195Updated 2 years ago
- Generalized bananas, lenses and barbed wireโ349Updated 7 months ago
- Proposed compiler and language changes for GHC and GHC/Haskellโ700Updated last week
- Functional Reactive Programming domain-specific language for efficient hybrid systemsโ462Updated 5 months ago
- Industrial-strength monadic parser combinator libraryโ949Updated last month
- Algebraic graphsโ740Updated 3 weeks ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.โ178Updated 2 years ago
- A fast, flexible, fused effect system for Haskellโ657Updated 3 months ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyโฆโ263Updated 7 years ago
- A type-safe, high-level SQL library for Haskellโ478Updated last year
- ๐ฎ ๐ง Tool for scaffolding batteries-included production-level Haskell projectsโ711Updated 8 months ago
- The Haskell performance checklistโ391Updated 5 years ago
- โ256Updated 2 months ago
- Optics as an abstract interfaceโ384Updated this week
- Web application for exploring and understanding Haskell codebasesโ513Updated 2 years ago
- A List of Foundational Haskell Papersโ878Updated 8 months ago
- A curation of awesome PureScript libraries, resources and shiny things.โ474Updated 2 years ago
- The Monad Transformer Libraryโ385Updated 2 months ago
- ๐ Safe, performant, user-friendly and lightweight Haskell standard libraryโ719Updated this week
- A little course to learn about some of the more obscure GHC extensions.โ652Updated last year
- Examples of Dependently-typed programs in Haskellโ305Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningโ627Updated 2 months ago
- A dependently typed programming language, a successor to Idrisโ899Updated 4 years ago