Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Safe packages

Showing projects tagged as Safe

  • membrain

    8.7 0.0 Haskell
    🧠 Type-safe memory units
  • gdp

    8.6 0.0 Haskell
    Ghosts of Departed Proofs
  • safe-exceptions-checked

    6.2 0.0 Haskell
    Safe, checked exceptions
  • safe-foldable

    2.9 0.0 Haskell
    Safe wrappers for `null`-partial `Foldable` operations
  • safe-buffer-monad

    2.6 0.0 Haskell
    A monadic buffer resilient to exceptions
  • lawful

    1.7 0.0 Haskell
    A constraint to assert that your typeclass instances are lawful
  • safe-tensor

    1.6 0.0 Haskell
    dependently typed tensor algebra in Haskell