joaomilho / awesome-idris
𝛌 Awesome Idris resources
☆390Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-idris
- Software Foundations in Idris☆452Updated 5 years ago
- The home of the Glamorous Glambda interpreter☆219Updated 4 months ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆699Updated last week
- A curated list of awesome Haskell frameworks, libraries and software.☆414Updated 3 weeks ago
- A fast, flexible, fused effect system for Haskell☆647Updated 3 months ago
- Web application for exploring and understanding Haskell codebases☆512Updated last year
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- Industrial-strength monadic parser combinator library☆919Updated last month
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆366Updated 2 weeks ago
- Functional programming with fewer indirections☆761Updated 4 years ago
- The Monad Transformer Library☆367Updated 3 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆685Updated 2 months ago
- Generalized bananas, lenses and barbed wire☆337Updated 5 months ago
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- Empire strikes back☆464Updated last year
- The Haskell performance checklist☆374Updated 4 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 2 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆700Updated last month
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- Compiling to Categories☆437Updated 8 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆186Updated 2 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- Introduction to parsing with Haskell and Parsec☆503Updated 5 years ago
- Liquid Types For Haskell☆1,196Updated this week
- A curation of awesome PureScript libraries, resources and shiny things.☆466Updated last year
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆450Updated last month
- A Testing Framework for Haskell☆751Updated this week
- Optics as an abstract interface☆375Updated 3 months ago