dth

Haskell examples project

Exploring and showcasing examples of dependently-typed programs in Haskell

Examples of Dependently-typed programs in Haskell

GitHub

302 stars
17 watching
26 forks
Language: Haskell
last commit: about 2 years ago

Related projects:

Repository Description Stars
sweirich/graded-haskell Mechanizations for two dependently-typed languages with graded types 23
sweirich/challenge An implementation of a strongly-typed System F in Haskell 117
politrons/dive_into_haskell An introductory guide to Haskell programming language features and applications 69
i-am-tom/learn-me-a-haskell Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure 70
dierk/real_world_frege A collection of examples in the Frege programming language that demonstrate Haskell concepts from a book on Real World Haskell 70
sdiehl/zurihac-crypto Small minimal examples of modern cryptographic techniques in Haskell 79
def-/ghc-vis Visualizes live Haskell data structures in an interactive development environment. 135
dwayne/haskell-programming Collects notes and solutions to exercises from the book 'Haskell Programming from first principles' 95
ilya-klyuchnikov/lambdapi Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability 112
llvm-hs/llvm-hs-examples Demonstrates Haskell bindings to the LLVM compiler infrastructure 71
denisshevchenko/ohaskell.guide A comprehensive guide to the Haskell programming language 261
haskell/stm A Haskell implementation of software transactional memory for concurrent programming 98
haskell/play-haskell A web-based Haskell development playground and compiler environment. 130
1haskelladay/1had Provides tools and exercises for practicing functional programming in Haskell 118
bravit/hid-examples A collection of Haskell code examples to accompany a book on functional programming and depth of language 256