dth
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
Examples of Dependently-typed programs in Haskell
303 stars
17 watching
26 forks
Language: Haskell
last commit: about 3 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 24 |
| 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 | A tool to visualize live Haskell data structures in GHCi | 136 |
 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 | 263 |
 haskell/stm | A Haskell implementation of software transactional memory for concurrent programming | 99 |
| 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 | 258 |