simple-haskell / simple-haskell-website
Home page for the Simple Haskell Initiative
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for simple-haskell-website
- 💝 Haskell profiles to sponsor☆47Updated 3 years ago
- ☆28Updated 6 years ago
- ☆16Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 6 years ago
- ☆34Updated 8 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Type-safe error handling☆64Updated last year
- Working through the Thinking with Types book in Haskell☆34Updated 4 years ago
- Type-safe time units in Haskell☆49Updated 9 months ago
- Modern library for working with URIs☆68Updated 2 weeks ago
- ♾️ Sized list☆46Updated 6 months ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- tools for writing better type errors☆73Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Generic Programming using True Sums of Products☆157Updated 5 months ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Want to propose changes to Eta?☆14Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated last month
- A recursion scheme library for Idris.☆24Updated 4 months ago
- Dual Traversable☆41Updated last year
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 weeks ago
- haskell memory☆48Updated last year