simple-haskell / simple-haskell-website
Home page for the Simple Haskell Initiative
☆15Updated 2 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
- Some useful control operators for looping☆47Updated 4 years ago
- ☆16Updated 4 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 3 weeks ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Generic Programming using True Sums of Products☆161Updated 2 weeks ago
- Haskell Enterprise Edition☆12Updated 7 years ago
- 💝 Haskell profiles to sponsor☆47Updated 3 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 7 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- the EitherT monad transformer☆55Updated 8 months ago
- ☆74Updated 6 months ago
- A Haskell program and library to derive instances for data types☆25Updated 4 years ago
- haskell memory☆48Updated last year
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- Type-safe time units in Haskell☆49Updated this week
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 10 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 7 months ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 2 months ago
- Type-safe error handling☆64Updated last year
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Dual Traversable☆42Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Wailing into the primordial ooze of category theory☆55Updated 2 months ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Modern library for working with URIs☆69Updated last month
- A recursion scheme library for Idris.☆24Updated 2 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago