alhassy / HaskellCheatSheetLinks
A reference sheet for the basics of the mind-expanding Haskell language ^_^
☆33Updated 5 years ago
Alternatives and similar repositories for HaskellCheatSheet
Users that are interested in HaskellCheatSheet are comparing it to the libraries listed below
Sorting:
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- A code formatter for Racket☆82Updated last month
- A book on programming languages, using Haskell☆166Updated 4 years ago
- A beginner's guide to Haskell optimization☆65Updated 7 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆55Updated 4 years ago
- SKI combinators☆55Updated 8 years ago
- Haskell Playground☆145Updated 3 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 3 months ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆196Updated last year
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆70Updated 2 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Notes and solutions to exercises of "Haskell Programming from first principles"☆37Updated 5 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆95Updated 5 years ago
- For parts of https://www.ats-lang.org☆27Updated 2 months ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆45Updated 2 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 4 years ago
- ☆44Updated 2 years ago
- Useful things for Standard ML☆70Updated 10 months ago
- My slides and compilation of resources.☆155Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 6 months ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- A continuation-based backtracking logic programming monad☆91Updated 9 months ago
- Haskell User's Gofer System☆25Updated 9 years ago
- Polynomial Lens☆29Updated 2 years ago