MI-AFP / tutorialsLinks
Materials for MI-AFP course tutorials
☆12Updated this week
Alternatives and similar repositories for tutorials
Users that are interested in tutorials are comparing it to the libraries listed below
Sorting:
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- ☆47Updated 8 years ago
- Calculus of Constructions☆17Updated 6 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 8 years ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Updated 7 years ago
- ☆21Updated 8 months ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated 4 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- Session types in Idris2!☆27Updated 5 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- Harmonize with coworkers around GitHub reviewing.☆23Updated last week
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- A TOML parser for Idris 2☆17Updated last year
- Resources for "One Monad to Prove Them All"☆29Updated 7 years ago
- ☆23Updated 8 years ago
- A project which aim to help engineers to make proves easily☆14Updated 3 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 8 years ago
- Higher kinded polymorphism in SML☆15Updated 5 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- An Idris port of the Haskell Hedghog library☆35Updated 2 months ago
- A Language and its compiler on Ethereum Virtual Machine☆14Updated 7 years ago
- ☆25Updated 4 years ago
- A Go backend for Idris☆15Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Data frames for Idris 2☆23Updated 3 years ago
- Package manager for Idris☆37Updated 3 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 3 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago