Popularity
3.6
Declining
Activity
0.0
Stable
1
3
3
Monthly Downloads: 7
Programming language: Haskell
License: Apache License 2.0
Tags:
Security
faceted alternatives and similar packages
Based on the "Security" category.
Alternatively, view faceted alternatives based on common mentions on social networks and blogs.
-
scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
WorkOS - The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Promo
workos.com
Do you think we are missing an alternative of faceted or a related project?
README
Faceted values & computations for Haskell
Faceted values for Haskell. A work-in-progress.
Getting Started
$ cabal install faceted
$ cabal repl
... to be expanded ...
Contributing
0. Install Cabal and get to the latest version, to have sandboxes
# OSX
$ brew install haskell-platform
$ cabal install cabal-install --global
1. Set up a cabal sandbox for this project
$ cabal sandbox init
2. Configure and build
$ cabal configure
$ cabal build
That's it for now. Tests coming soon.