klapaucius / fphistoryruLinks
☆14Updated last month
Alternatives and similar repositories for fphistoryru
Users that are interested in fphistoryru are comparing it to the libraries listed below
Sorting:
- ClickHouse Native protocol driver in Haskell☆41Updated this week
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- 👅 Parse Haskell Language Extensions☆48Updated last month
- high-powered optics in a small package☆53Updated 10 months ago
- The category theory by example book☆60Updated 2 years ago
- todo and unimplemented, robustly implemented☆36Updated 10 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 6 months ago
- ☆19Updated 3 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ☆118Updated last week
- Effects libraries in Haskell☆71Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆105Updated 2 weeks ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- 💫 A curated list of awesome resources for the Haskell Cabal build tool.☆120Updated last year
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆48Updated 7 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 7 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- WIP: A modern step-through debugger for GHC Haskell☆34Updated last week
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated this week
- Haskell embedding of PlusCal☆61Updated 3 years ago
- ☆100Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆51Updated last month
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last month
- GRIN backend for Idris2☆33Updated 3 years ago
- First-class type families☆88Updated 2 months ago
- Automatically generate Haskell bindings from C header files☆54Updated this week
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 6 months ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Session types framework with support of protocol pipelining.☆15Updated this week