simple-haskell / simple-haskell-websiteLinks
Home page for the Simple Haskell Initiative
☆15Updated 3 years ago
Alternatives and similar repositories for simple-haskell-website
Users that are interested in simple-haskell-website are comparing it to the libraries listed below
Sorting:
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆33Updated 4 months ago
- A typed, persistent store for values of arbitrary types☆61Updated 4 months ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- ☆16Updated 5 years ago
- ☆28Updated 7 years ago
- Modern library for working with URIs☆68Updated 3 months ago
- Recursion schemes for Idris☆65Updated 6 years ago
- every day i'm truffling☆70Updated 4 years ago
- My Github pages website☆76Updated 5 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- Check properties on standard classes and data structures☆79Updated last year
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- Type-safe error handling☆64Updated last year
- ☆51Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆22Updated last month
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Scrap Your Boilerplate generic programming library in Haskell☆46Updated 7 months ago
- oleg modules☆32Updated 12 years ago
- Platform-independent library for basic file system operations☆59Updated last month
- Kowainik Git Workflow Helper Tool☆77Updated 2 years ago
- ☆42Updated 6 years ago
- the EitherT monad transformer☆55Updated last month
- A Haskell monad transformer library for data validation☆36Updated last year
- Generic Programming using True Sums of Products☆163Updated 6 months ago