alhassy / HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
☆29Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for HaskellCheatSheet
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆69Updated last year
- An implementation of the Lox language in Racket.☆30Updated last year
- Haskell JSON library☆27Updated 2 weeks ago
- A beginner's guide to Haskell optimization☆64Updated 6 years ago
- Your happy place for learning APL☆16Updated last year
- Resources for "The Little Typer" study group☆47Updated 4 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆42Updated last year
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Jupyter notebooks☆58Updated 2 weeks ago
- A tutorial to the Idris Programming Language.☆94Updated 8 years ago
- Best practices on how to be efficient with Haskell in production☆93Updated 4 months ago
- A fast Haskell library for parsing ByteStrings☆10Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- Wrap up Haskell tools☆15Updated 3 years ago
- Lightweight package providing commonly useful parser combinators☆52Updated 5 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- ☆34Updated 5 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆22Updated last year
- Visual Studio Code integration for the Idris 2 language server☆29Updated 3 weeks ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- The place for submitting new articles to the Serokell blog.☆16Updated 8 months ago
- ♾️ Sized list☆46Updated 6 months ago
- A continuation-based backtracking logic programming monad☆85Updated last week
- Strongly typed routes for Rust☆35Updated 3 years ago
- LLVM code generation in Haskell☆50Updated 3 weeks ago
- A code formatter for Racket☆74Updated 3 weeks ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago