learn-me-a-haskell
by i-am-tom
Trying to get back all the stuff I had in JavaScript.
AI summary
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
- stars
- 70
- forks
- 1
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Haskell extension tutorials
A tutorial and exercise repository to learn about obscure GHC extensions in Haskell.
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
sweirich/dth303
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Haskell explanation
Explaining why Haskell's unique features make it an important language for software development
typelead/eta2.6K
Haskell JVM dialect
A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility
Haskell IDE
A Haskell-based code editor designed for interactive development and programming in the language.
Type converter
Generates matching Elm type definitions and JSON encoders and decoders from Haskell types
Haskell tutorial
A collection of Haskell code examples and resources illustrating the language's features and programming techniques.
Haskell tutorial
A tutorial guide to Haskell programming with annotated example programs.
Haskell tutorials
A set of training materials and exercises for learning Haskell programming language
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Haskell compiler
Provides tools and exercises for practicing functional programming in Haskell
