dth
by sweirich
Examples of Dependently-typed programs in Haskell
AI summary
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
- stars
- 303
- forks
- 26
- watching
- 17
Similar projects
Found by comparing what the projects do, not just their names.
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Type inference system
An implementation of a strongly-typed System F in Haskell
Haskell tutorial
An introductory guide to Haskell programming language features and applications
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Haskell examples
A collection of examples in the Frege programming language that demonstrate Haskell concepts from a book on Real World Haskell
Cryptography library
Small minimal examples of modern cryptographic techniques in Haskell
def-/ghc-vis136
Data visualizer
A tool to visualize live Haskell data structures in GHCi
Programming guide
Collects notes and solutions to exercises from the book 'Haskell Programming from first principles'
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
LLVM examples
Demonstrates Haskell bindings to the LLVM compiler infrastructure
Haskell tutorial
A comprehensive guide to the Haskell programming language
Transactional memory system
A Haskell implementation of software transactional memory for concurrent programming
Haskell IDE
A web-based Haskell development playground and compiler environment.
Haskell compiler
Provides tools and exercises for practicing functional programming in Haskell
Haskell tutorials
A collection of Haskell code examples to accompany a book on functional programming and depth of language
