iokasimov / pandoraLinks
Pure basic library based on math abstractions
☆9Updated 3 years ago
Alternatives and similar repositories for pandora
Users that are interested in pandora are comparing it to the libraries listed below
Sorting:
- Extensible type-safe unions for Haskell☆34Updated 3 months ago
- Safe web routing in haskell☆30Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- ☆35Updated last week
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Clean up the formatting of 'show' output☆21Updated last month
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Tasty meal of Dhall☆66Updated last year
- Generate Nix build instructions from a Stack file☆49Updated 4 years ago
- ☆25Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Create environments with GHC HEAD artefacts☆27Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- An efficient graph library for Haskell☆39Updated last month
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- Test monadic programs using state machine based models☆17Updated 9 months ago
- Haskell library for doing category theory with a central role for profunctors☆21Updated this week
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆41Updated last year