gdp

Ghosts of Departed Proofs

Source Code Changelog

Suggest Changes

Popularity

8.6

Growing

Activity

0.0

Declining

Stars 48

Watchers 7

Forks 10

Last Commit 11 months ago

Monthly Downloads: 23

Programming language: Haskell

License: GNU General Public License v3.0 or later

Tags: Control Safe

gdp alternatives and similar packages

Based on the "safe" category.
Alternatively, view gdp alternatives based on common mentions on social networks and blogs.

safe-exceptions-checked

6.2 0.0 gdp VS safe-exceptions-checked

Safe, checked exceptions
safe-buffer-monad

2.0 0.0 gdp VS safe-buffer-monad

A monadic buffer resilient to exceptions

Run Linux Software Faster and Safer than Linux with Unikernels

Promo github.com/nanovms

lawful

2.0 0.0 gdp VS lawful

A constraint to assert that your typeclass instances are lawful

Do you think we are missing an alternative of gdp or a related project?

Add another 'safe' Package

README

gdp: Ghosts of Departed Proofs

Subscribe to our newsletter
to know all the trending packages, news and articles.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.