haskell / play-haskellLinks
Haskell Playground
☆142Updated last month
Alternatives and similar repositories for play-haskell
Users that are interested in play-haskell are comparing it to the libraries listed below
Sorting:
- Best practices on how to be efficient with Haskell in production☆97Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆129Updated last year
- Set up a GHC API session for various Haskell Projects☆191Updated 3 weeks ago
- ☆101Updated 2 months ago
- Effects libraries in Haskell☆71Updated last year
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated 3 months ago
- Publishes curated news about the Haskell programming language.☆151Updated last week
- Standard library for linear types in Haskell.☆343Updated 3 weeks ago
- The Haskell Foundation Tech Proposal Process☆70Updated 10 months ago
- A re-implementation of weeder using HIE files☆177Updated this week
- Github actions for Haskell CI☆147Updated last year
- How I start Haskell.☆100Updated 8 months ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last week
- A Haskell library for line input in command-line programs.☆236Updated 2 weeks ago
- Source material for Algebra-Driven Design☆149Updated last year
- ☆88Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- agda-mode for neovim☆159Updated last month
- A package index for the Haskell ecosystem☆143Updated this week
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆190Updated last year
- A tool suite to aid Haskell development using `cabal-install`☆87Updated 3 weeks ago
- Source material for Certainty by Construction☆43Updated last year
- Compiling Agda code to readable Haskell☆189Updated last week
- Haskell Language Report☆91Updated 5 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆100Updated last month
- Language Server for Agda☆112Updated 6 months ago
- The Haskell Optimization Handbook☆179Updated 3 months ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆130Updated last week