Hiromi Ishii konn

Sponsors

Pinned Loading

1. General-Purpose Computer Algebra System as an EDSL in Haskell

   HTML 95 9

2. Sized sequence data-types

   Haskell 12 1

3. Type-level well-kinded natural numbers.

   Haskell 36 12

4. Presburger arithmetic solver for built-in type-level naturals

   Haskell 10 6

5. guardian - the border guardian for your Haskell monorepo package dependencies

   Haskell 41 2

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

   Haskell 1