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β454Updated 6 years ago
- A prototype successor to Idrisβ540Updated 5 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .β379Updated 4 months ago
- Generalized bananas, lenses and barbed wireβ346Updated 5 months ago
- The home of the Glamorous Glambda interpreterβ224Updated 2 months ago
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ715Updated 3 weeks ago
- Functional Reactive Programming domain-specific language for efficient hybrid systemsβ459Updated 3 months ago
- A type-safe, high-level SQL library for Haskellβ478Updated 11 months ago
- Experimental implementation of Cubical Type Theoryβ582Updated last year
- Liquid Types For Haskellβ1,244Updated this week
- hpack: A modern format for Haskell packagesβ648Updated 2 months ago
- Resources for type theory, functional programming, etc.β320Updated 4 years ago
- A dependently typed programming language, a successor to Idrisβ899Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ617Updated 3 weeks ago
- Optics as an abstract interfaceβ384Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.β1,042Updated 2 years ago
- Efficient Haskell Arrays featuring Parallel computationβ386Updated last week
- Proposed compiler and language changes for GHC and GHC/Haskellβ696Updated 2 weeks ago
- A List of Foundational Haskell Papersβ870Updated 6 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekarβ299Updated last year
- Industrial-strength monadic parser combinator libraryβ944Updated 4 months ago
- The Monad Transformer Libraryβ379Updated 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
- Compiling to Categoriesβ450Updated last year
- Empire strikes backβ462Updated last year
- Standard library for linear types in Haskell.β343Updated this week
- Development of homotopy type theory in Agdaβ426Updated 6 years ago
- The Haskell performance checklistβ391Updated 5 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminationsβ379Updated last year
- A new Categories library for Agdaβ381Updated this week