write-you-a-scheme-v2 / scheme
Write You a Scheme
☆552Updated last year
Related projects ⓘ
Alternatives and complementary repositories for scheme
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆697Updated 3 years ago
- Introduction to parsing with Haskell and Parsec☆503Updated 5 years ago
- Shell programming, Haskell style☆946Updated 5 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆685Updated 2 months ago
- A List of Foundational Haskell Papers☆864Updated last week
- Software Foundations in Idris☆452Updated 5 years ago
- ☆1,011Updated 4 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,251Updated last year
- WIP implementation of a Haskell-like Lisp in Racket☆1,166Updated 7 months ago
- Industrial-strength monadic parser combinator library☆919Updated last month
- A full implementation of the Scheme programming language for the Haskell Platform.☆308Updated last year
- Very low feature GHCi based IDE☆1,134Updated 8 months ago
- Tutorial on setting up Emacs to do Haskell programming☆689Updated 7 years ago
- Haskell Programming From First Principles - Follow-up Resources☆488Updated 6 years ago
- Liquid Types For Haskell☆1,196Updated this week
- A monadic parser combinator library☆847Updated 6 months ago
- A standard library for Haskell☆843Updated 3 months ago
- Haskell pretty printer☆563Updated this week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆754Updated this week
- Mirror of Software Foundations in PDF☆295Updated 4 years ago
- Web application for exploring and understanding Haskell codebases☆512Updated last year
- A fast, flexible, fused effect system for Haskell☆647Updated 2 months ago
- Haskell LLVM JIT Compiler Tutorial☆1,030Updated 4 years ago
- Empire strikes back☆464Updated last year
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆145Updated 7 years ago
- Fork of the original Data61 course to be more Stack friendly☆439Updated 3 years ago
- haskell source code formatter☆692Updated 2 years ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆699Updated last week
- A special interest group for companies and individuals interested in commercial usage of Haskell☆452Updated last year
- Algebraic graphs☆719Updated 6 months ago