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โ456Updated 6 years ago
- Resources for type theory, functional programming, etc.โ320Updated 4 years ago
- A curated list of awesome Haskell frameworks, libraries and software.โ450Updated 3 weeks ago
- The home of the Glamorous Glambda interpreterโ227Updated 6 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.โ191Updated 3 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.โ177Updated 3 years ago
- A collaborative bibliography of work related to the theory and practice of computational effectsโ1,087Updated last month
- Generalized bananas, lenses and barbed wireโ350Updated 2 months ago
- A prototype successor to Idrisโ541Updated 6 years ago
- A curation of awesome PureScript libraries, resources and shiny things.โ475Updated 2 years ago
- Category theory in the context of (functional) programmingโ522Updated 7 years 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 fast, flexible, fused effect system for Haskellโ661Updated 5 months ago
- Sample code from "Type Driven Development with Idris"โ167Updated 8 years ago
- โ258Updated 4 months ago
- Examples of Dependently-typed programs in Haskellโ307Updated 2 years ago
- The Haskell performance checklistโ391Updated 5 years ago
- Introduction to parsing with Haskell and Parsecโ505Updated 6 years ago
- Industrial-strength monadic parser combinator libraryโ954Updated last month
- Links: Linking Theory to Practice for the Webโ346Updated last month
- Functional Reactive Programming domain-specific language for efficient hybrid systemsโ463Updated 7 months ago
- A type-safe, high-level SQL library for Haskellโ479Updated last month
- Compiling to Categoriesโ455Updated last year
- A List of Foundational Haskell Papersโ882Updated 10 months ago
- ๐ฎ ๐ง Tool for scaffolding batteries-included production-level Haskell projectsโ712Updated 10 months ago
- A little course to learn about some of the more obscure GHC extensions.โ657Updated last year
- Haskell/GHC symbol search cheatsheetโ325Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningโ633Updated 4 months ago
- Algebraic graphsโ746Updated last month
- A dependently typed programming language, a successor to Idrisโ900Updated 5 years ago