awkward-squad / kiLinks
A structured concurrency library
β85Updated 7 months ago
Alternatives and similar repositories for ki
Users that are interested in ki are comparing it to the libraries listed below
Sorting:
- π Profunctor based lightweight implementation of Lensesβ71Updated 2 years ago
- type level setsβ67Updated 5 years ago
- A work stealing schedulerβ74Updated 8 months ago
- ππ Combinators for writing pretty type errors easilyβ56Updated 3 years ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.β77Updated 2 years ago
- Interpreter for GHC Haskellβ22Updated 5 years ago
- Effects libraries in Haskellβ71Updated 2 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.β81Updated 4 years ago
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- Fast and concise extensible effectsβ109Updated 2 years ago
- βοΈβπ Convenient interface for printing colourful messagesβ70Updated last week
- Generates a references DB from .hie filesβ67Updated 2 months ago
- A tool suite to aid Haskell development using `cabal-install`β89Updated 3 months ago
- A PureScript interpreter in Haskellβ121Updated 3 years ago
- β99Updated 2 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Boolβ76Updated last month
- βοΈ A refinement proof framework for haskellβ70Updated 2 years ago
- The Haskell Foundation Tech Proposal Processβ71Updated last week
- Haskell QuasiQuoter for String Formattingβ69Updated 8 months ago
- Easily consume JSON data on-demand with type-safetyβ59Updated 6 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.β81Updated 5 years ago
- Visualise eventlog events as a static webpageβ70Updated 4 months ago
- Alternative API for processes, featuring more type safetyβ113Updated 5 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β96Updated 2 weeks ago
- Automatically trace all (showable) binds in do expressionsβ84Updated 7 years ago
- π― IO with Exceptions tracked on the type-levelβ58Updated 4 years ago
- Tactic Metaprogramming in Haskellβ56Updated 6 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- First-class type familiesβ88Updated last month