idris-hackers / software-foundations
Software Foundations in Idris
β452Updated 5 years ago
Related projects: β
- A prototype successor to Idrisβ539Updated 5 years ago
- π Awesome Idris resourcesβ387Updated 4 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyβ¦β263Updated 6 years ago
- Examples of Dependently-typed programs in Haskellβ301Updated last year
- A fast, flexible, fused effect system for Haskellβ642Updated 3 weeks ago
- Generalized bananas, lenses and barbed wireβ336Updated 3 months ago
- Experimental implementation of Cubical Type Theoryβ567Updated 11 months ago
- A dependently typed programming language, a successor to Idrisβ902Updated 4 years ago
- Algebraic graphsβ715Updated 4 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ588Updated 4 months ago
- Compiling to Categoriesβ436Updated 6 months ago
- Functional programming with fewer indirectionsβ758Updated 4 years ago
- Resources for type theory, functional programming, etc.β309Updated 3 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical workβ746Updated 2 weeks ago
- A type-safe, high-level SQL library for Haskellβ478Updated 3 months ago
- The home of the Glamorous Glambda interpreterβ219Updated 2 months ago
- Web application for exploring and understanding Haskell codebasesβ509Updated last year
- Liquid Types For Haskellβ1,181Updated this week
- A demo implementation of a simple dependently-typed languageβ557Updated last month
- Convert Haskell source code to Coq source codeβ279Updated 3 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminationsβ364Updated 10 months ago
- Minimal implementations for dependent type checking and elaborationβ600Updated last month
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.β240Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskellβ683Updated 2 weeks ago
- Industrial-strength monadic parser combinator libraryβ910Updated last week
- higher-order, no-boilerplate monadsβ1,033Updated 2 months ago
- Haskell papers optimized for my e-reader.β266Updated 7 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansenβ694Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.β1,019Updated last year
- A bare-bones calculus-of-constructionsβ373Updated 2 years ago