alhassy / HaskellCheatSheetLinks
A reference sheet for the basics of the mind-expanding Haskell language ^_^
☆36Updated 5 years ago
Alternatives and similar repositories for HaskellCheatSheet
Users that are interested in HaskellCheatSheet are comparing it to the libraries listed below
Sorting:
- SKI combinators☆55Updated 8 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 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
- A code formatter for Racket☆82Updated 4 months ago
- For parts of https://www.ats-lang.org☆26Updated 5 months ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- ☆37Updated 5 months ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆95Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- An implementation of the Lox language in Racket.☆35Updated 2 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Useful things for Standard ML☆71Updated last year
- Haskell Playground☆155Updated 2 months ago
- Haskell User's Gofer System☆27Updated 9 years ago
- ☆45Updated 2 years ago
- Hope programming language interpreter☆42Updated 6 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 6 months ago
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆71Updated 2 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 9 months ago
- Sinister's Scheme Compiler!☆24Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- Notes and solutions to exercises of "Haskell Programming from first principles"☆37Updated 5 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆46Updated 2 years ago
- 🎂 Kowainik web page☆31Updated 2 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year