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โ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 last week
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.โ178Updated 2 years ago
- The home of the Glamorous Glambda interpreterโ226Updated 4 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.โ194Updated 2 years ago
- A curation of awesome PureScript libraries, resources and shiny things.โ474Updated 2 years ago
- A fast, flexible, fused effect system for Haskellโ659Updated 3 months ago
- Generalized bananas, lenses and barbed wireโ349Updated 2 weeks ago
- The Monad Transformer Libraryโ386Updated 3 months ago
- Sample code from "Type Driven Development with Idris"โ166Updated 8 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
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .โ386Updated last month
- ๐ฎ ๐ง Tool for scaffolding batteries-included production-level Haskell projectsโ711Updated 9 months ago
- Proposed compiler and language changes for GHC and GHC/Haskellโ702Updated this week
- A prototype successor to Idrisโ540Updated 6 years ago
- Introduction to parsing with Haskell and Parsecโ505Updated 6 years ago
- Functional Reactive Programming domain-specific language for efficient hybrid systemsโ462Updated 5 months ago
- Web application for exploring and understanding Haskell codebasesโ514Updated 2 years ago
- The Haskell performance checklistโ390Updated 5 years ago
- โ257Updated 3 months ago
- Examples of Dependently-typed programs in Haskellโ305Updated 2 years ago
- A type-safe, high-level SQL library for Haskellโ479Updated last year
- A dependently typed programming language, a successor to Idrisโ899Updated 5 years ago
- Industrial-strength monadic parser combinator libraryโ951Updated last week
- Category theory in the context of (functional) programmingโ523Updated 7 years ago
- ๐ Safe, performant, user-friendly and lightweight Haskell standard libraryโ724Updated last week
- A collaborative bibliography of work related to the theory and practice of computational effectsโ1,073Updated 4 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical workโ785Updated this week
- Empire strikes backโ461Updated 2 years ago