PinnedLoading

1. computational-algebracomputational-algebraPublic

   General-Purpose Computer Algebra System as an EDSL in Haskell

   HTML 92 9

2. sizedsizedPublic

   Sized sequence data-types

   Haskell 11 1

3. type-naturaltype-naturalPublic

   Type-level well-kinded natural numbers.

   Haskell 34 12

4. ghc-typelits-presburgerghc-typelits-presburgerPublic

   Presburger arithmetic solver for built-in type-level naturals

   Haskell 8 6

5. deepflowinc-oss/guardiandeepflowinc-oss/guardianPublic

   guardian - the border guardian for your Haskell monorepo package dependencies

   Haskell 39 1

6. deepflowinc-oss/elgenericsdeepflowinc-oss/elgenericsPublic

   Battle-tested generic, dependently-typed programming and extensibile record libraries with GHC Type Checker Plugin

   Haskell 1