joaomilho / awesome-idrisLinks
π Awesome Idris resources
β402Updated 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
- A fast, flexible, fused effect system for Haskellβ657Updated last month
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ715Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskellβ698Updated last month
- Industrial-strength monadic parser combinator libraryβ946Updated 4 months ago
- A prototype successor to Idrisβ539Updated 5 years ago
- The home of the Glamorous Glambda interpreterβ224Updated 2 months ago
- A curation of awesome PureScript libraries, resources and shiny things.β473Updated 2 years ago
- A type-safe, high-level SQL library for Haskellβ478Updated last year
- Resources for type theory, functional programming, etc.β320Updated 4 years ago
- Optics as an abstract interfaceβ384Updated this week
- Generalized bananas, lenses and barbed wireβ346Updated 6 months ago
- π΅οΈ Haskell STatic ANalyserβ584Updated 3 weeks ago
- Functional Reactive Programming domain-specific language for efficient hybrid systemsβ459Updated 3 months ago
- A standard library for Haskellβ850Updated 10 months ago
- Web application for exploring and understanding Haskell codebasesβ515Updated 2 years ago
- higher-order, no-boilerplate monadsβ1,055Updated 3 months ago
- π§ a work in progress effect system for Haskell π§β558Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ618Updated last month
- A dependently typed programming language, a successor to Idrisβ899Updated 4 years ago
- A curated list of awesome Haskell frameworks, libraries and software.β445Updated 3 weeks ago
- Liquid Types For Haskellβ1,245Updated last week
- Functional programming with fewer indirectionsβ765Updated 4 years ago
- A List of Foundational Haskell Papersβ874Updated 7 months ago
- Sample code from "Type Driven Development with Idris"β165Updated 7 years ago
- The Monad Transformer Libraryβ381Updated last month
- A collaborative bibliography of work related to the theory and practice of computational effectsβ1,060Updated 2 months ago
- WIP implementation of a Haskell-like Lisp in Racketβ1,173Updated last year
- 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 axiom-free formalization of category theory in Coq for personal study and practical workβ779Updated 3 weeks ago