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

  • gdp

    8.7 0.0 Haskell
    Ghosts of Departed Proofs
  • membrain

    8.5 0.0 Haskell
    🧠 Type-safe memory units
  • safe-exceptions-checked

    6.2 0.0 Haskell
    DISCONTINUED. Safe, checked exceptions
  • lawful

    2.8 0.0 Haskell
    A constraint to assert that your typeclass instances are lawful
  • safe-foldable

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

    1.9 0.0 Haskell
    A monadic buffer resilient to exceptions
  • safe-tensor

    1.3 0.0 Haskell
    dependently typed tensor algebra in Haskell