Pinned Loading

1. SoftwareFoundationGroupAtKyotoU/pure-borrow SoftwareFoundationGroupAtKyotoU/pure-borrow Public

   Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

   Haskell 56

2. computational-algebra computational-algebra Public

   General-Purpose Computer Algebra System as an EDSL in Haskell

   HTML 95 9

3. sized sized Public

   Sized sequence data-types

   Haskell 12 1

4. type-natural type-natural Public

   Type-level well-kinded natural numbers.

   Haskell 36 12

5. ghc-typelits-presburger ghc-typelits-presburger Public

   Presburger arithmetic solver for built-in type-level naturals

   Haskell 10 6

6. deepflowinc-oss/guardian deepflowinc-oss/guardian Public

   guardian - the border guardian for your Haskell monorepo package dependencies

   Haskell 40 1