joaomilho / awesome-idrisLinks
๐ Awesome Idris resources
โ404Updated 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
- A curated list of awesome Haskell frameworks, libraries and software.โ452Updated 3 weeks ago
- Resources for type theory, functional programming, etc.โ320Updated 4 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.โ177Updated 3 years ago
- ๐ฎ ๐ง Tool for scaffolding batteries-included production-level Haskell projectsโ712Updated 11 months ago
- Algebraic graphsโ747Updated 2 months ago
- A fast, flexible, fused effect system for Haskellโ663Updated 5 months ago
- Web application for exploring and understanding Haskell codebasesโ515Updated 2 years ago
- A prototype successor to Idrisโ541Updated 6 years ago
- A List of Foundational Haskell Papersโ882Updated 11 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.โ191Updated 3 years ago
- A curation of awesome PureScript libraries, resources and shiny things.โ476Updated 2 years ago
- A dependently typed programming language, a successor to Idrisโ900Updated 5 years ago
- ๐ Safe, performant, user-friendly and lightweight Haskell standard libraryโ727Updated 3 weeks ago
- Functional Reactive Programming domain-specific language for efficient hybrid systemsโ468Updated 7 months ago
- Don't Fear the Profunctor Optics!โ428Updated 6 months ago
- Liquid Types For Haskellโ1,264Updated this week
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.โ510Updated 3 months ago
- Category theory in the context of (functional) programmingโ522Updated 7 years ago
- A type-safe, high-level SQL library for Haskellโ478Updated 3 weeks 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
- Sample code from "Type Driven Development with Idris"โ167Updated 8 years ago
- Architecture of the Haskell web applicationsโ312Updated 4 years ago
- โ258Updated 5 months ago
- The Monad Transformer Libraryโ389Updated last month
- Industrial-strength monadic parser combinator libraryโ957Updated last week
- Proposed compiler and language changes for GHC and GHC/Haskellโ703Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.โ1,053Updated 4 months ago
- Optics as an abstract interfaceโ386Updated last week
- Mu (ฮผ) is a purely functional framework for building micro services.โ335Updated last year