typedefs / typedefs Star 367 Code Issues Pull requests Programming language agnostic type construction language based on polynomials. serialization types marshalling type-theory category-theory serialization-library f-algebras type-definitions Updated May 29, 2024 Idris
jaredloomis / Idris-HoTT Star 22 Code Issues Pull requests Homotopy Type Theory proofs in Idris dependent-types type-theory idris homotopy-type-theory Updated May 22, 2019 Idris
MrChico / Smarter-contract-lang Star 3 Code Issues Pull requests dependent-types functional-programming ethereum blockchain type-theory Updated Aug 4, 2017 Idris
Russoul / Nova Star 2 Code Issues Pull requests A programming language based on extensional Martin Lof Type Theory programming-language dependent-types functional-programming logic type-theory idris dependent-type-theory idris2 Updated Aug 10, 2024 Idris
AlgebraicWolf / idris2-russel Star 2 Code Issues Pull requests Implementation of Russel paradox in Idris 2 dependent-types type-theory mathematical-logic idris2 Updated Jul 5, 2021 Idris
doofin / w-types Star 1 Code Issues Pull requests W types or well founded trees type-theory idris Updated Jul 17, 2018 Idris
KokorinIlya / idris-examples Star 0 Code Issues Pull requests Some examples of programs with dependent types from Type Theory course in IFMO University. dependent-types theorem-proving type-theory ifmo Updated Feb 7, 2019 Idris