write-you-a-scheme-v2 / schemeLinks
Write You a Scheme
☆566Updated 2 years ago
Alternatives and similar repositories for scheme
Users that are interested in scheme are comparing it to the libraries listed below
Sorting:
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆716Updated 3 years ago
- Introduction to parsing with Haskell and Parsec☆506Updated 5 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,173Updated last year
- Industrial-strength monadic parser combinator library☆946Updated 4 months ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆312Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- A monadic parser combinator library☆871Updated last week
- Software Foundations in Idris☆454Updated 6 years ago
- A List of Foundational Haskell Papers☆874Updated 7 months ago
- ☆1,007Updated 5 years ago
- A standard library for Haskell☆850Updated 10 months ago
- Haskell Programming From First Principles - Follow-up Resources☆495Updated 7 years ago
- 𝛌 Awesome Idris resources☆402Updated 5 years ago
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- Liquid Types For Haskell☆1,245Updated last week
- Tutorial on setting up Emacs to do Haskell programming☆694Updated 8 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆698Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- Haskell pretty printer☆570Updated this week
- Typed Racket☆542Updated this week
- Library for functional reactive programming in Haskell.☆531Updated 6 months ago
- Mirror of Software Foundations in PDF☆302Updated 4 years ago
- ☆432Updated last year
- Haskell LLVM JIT Compiler Tutorial☆1,041Updated 5 years ago
- Haskell bindings for LLVM☆520Updated 11 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆459Updated 3 months ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 7 years ago
- haskell source code formatter☆691Updated 2 years ago
- The Monad Transformer Library☆381Updated last month