stefan-hoeck / idris2-tutorial
☆190Updated last month
Related projects: ⓘ
- Language Server for Idris2☆160Updated this week
- ☆98Updated last week
- Haskell implemented with combinators☆325Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- A categorical programming language with effects☆266Updated last year
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆334Updated this week
- Standard library for linear types in Haskell.☆333Updated this week
- Compiling Agda code to readable Haskell☆174Updated last week
- Relational programming in Haskell. Mostly developed on twitch.☆253Updated last week
- Optics as an abstract interface☆374Updated last month
- The Haskell Optimization Handbook☆171Updated 3 weeks ago
- A purely functional programming language with first class types☆55Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆122Updated 2 years ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆368Updated this week
- Minimal implementations for dependent type checking and elaboration☆600Updated this week
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆120Updated last year
- Source material for Algebra-Driven Design☆134Updated 10 months ago
- agda-mode for neovim☆130Updated 4 months ago
- Frank compiler☆274Updated 4 months ago
- GRIN backend for GHC☆143Updated 2 years ago
- Strongly-typed System F in Haskell☆117Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆211Updated last year
- A new Categories library for Agda☆363Updated this week
- An implementation of Pie in Haskell☆204Updated 4 years ago
- An introductory course to Homotopy Type Theory☆358Updated 4 years ago
- Haskell + Lisp☆205Updated 4 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- an implementation of stuck macros☆130Updated 2 weeks ago