alhassy / HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
☆28Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for HaskellCheatSheet
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆42Updated last year
- An implementation of the Lox language in Racket.☆30Updated last year
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- A fast Haskell library for parsing ByteStrings☆10Updated 2 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆57Updated 4 years ago
- A tutorial to the Idris Programming Language.☆94Updated 8 years ago
- A continuation-based backtracking logic programming monad☆85Updated 3 weeks ago
- Jupyter notebooks☆58Updated last week
- Haskell User's Gofer System☆22Updated 8 years ago
- Effects libraries in Haskell☆72Updated last year
- ☆43Updated last year
- Resources for "The Little Typer" study group☆47Updated 4 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆123Updated this week
- ☆77Updated 5 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 4 months ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆92Updated 4 years ago
- Learn me a Haskell, finally. (And you can too!)☆44Updated 2 months ago
- An implementation of Pie in Haskell☆204Updated 5 years ago
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆69Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆213Updated last year
- Haskell JSON library☆27Updated this week
- A simple Prolog interpreter☆43Updated 2 years ago
- ☆38Updated 2 years ago
- A code formatter for Racket☆74Updated last week
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆31Updated last month