Popularity
3.1
Declining
Activity
0.0
Stable
1
2
3
Monthly Downloads: 1
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. -
-
-
-
-
-
-
-
-
-
-
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Promo
www.influxdata.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.