Pinned Loading

1. computational-algebra computational-algebra Public

   General-Purpose Computer Algebra System as an EDSL in Haskell

   HTML 95 9

2. sized sized Public

   Sized sequence data-types

   Haskell 12 1

3. type-natural type-natural Public

   Type-level well-kinded natural numbers.

   Haskell 36 12

4. ghc-typelits-presburger ghc-typelits-presburger Public

   Presburger arithmetic solver for built-in type-level naturals

   Haskell 10 6

5. deepflowinc-oss/guardian deepflowinc-oss/guardian Public

   guardian - the border guardian for your Haskell monorepo package dependencies

   Haskell 41 2

6. deepflowinc-oss/elgenerics deepflowinc-oss/elgenerics Public

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

   Haskell 1