10

8

6

4

2


8.4

3.4
gdp

2.7
0.0

4 safe packages and projects

  • gdp

    8.4 3.4 Haskell
    Reason about invariants and preconditions with ghosts of departed proofs.
  • safe-exceptions-checked

    4.1 0.4 Haskell
    Safe, checked exceptions
  • safe-buffer-monad

    3.1 0.0 Haskell
    A monadic buffer resilient to exceptions
  • lawful

    2.7 0.0 Haskell
    Assert the lawfulness of your typeclass instances.

Add another 'safe' Package