dalaing / type-systemsLinks
ā23Updated 7 years ago
Alternatives and similar repositories for type-systems
Users that are interested in type-systems are comparing it to the libraries listed below
Sorting:
- Dependently typed elimination functions using singletonsā28Updated 7 months ago
- š Idris implementation of patricia treeā23Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated 9 months ago
- "Programs that explain their effects" talk materialā17Updated 7 years ago
- A package exposing a function for generating catamorphisms.ā28Updated 7 years ago
- Type Safe LLVM IR ( Experimental )ā49Updated 7 years ago
- Proofs of the number of inhabitants of polymorphic functionsā23Updated 7 years ago
- Agda suffices: software written from A to Z in Agdaā16Updated 6 years ago
- Invertible parsing for S-expressionsā34Updated 3 months ago
- Type Theory with Indexed Equalityā26Updated 8 years ago
- An experiment in functional interface designā24Updated 8 years ago
- van Laarhoven lenses for Idrisā20Updated 7 years ago
- Auto-parallelizing Pure Functional Languageā27Updated 6 years ago
- A nullary type class for partial functionsā15Updated 7 years ago
- Kleene algebra, regular expressionsā32Updated last year
- System F implemented in Haskellā24Updated 13 years ago
- being the programs and code for a paper about general recursionā26Updated 10 years ago
- Expands type synonyms in Template Haskell ASTsā11Updated 7 months ago
- Recursion schemes for Idrisā65Updated 6 years ago
- Experiments with effect systemsā12Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects libraryā41Updated 8 years ago
- Experiments in implementing functional data structures in Idrisā15Updated 6 years ago
- A tiny implementation of dependent types.ā11Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuffā14Updated 7 years ago
- Compositional type checking for Haskellā37Updated 14 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)ā13Updated 7 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited cā¦ā27Updated 7 years ago
- Yet another concurrent playgroundā33Updated 9 years ago
- static analysis of free monadsā24Updated 7 years ago
- Reasonable Haskell default importā27Updated 2 years ago