passman-core
sbv
passman-core | sbv | |
---|---|---|
- | 1 | |
1 | 233 | |
- | - | |
0.0 | 9.2 | |
over 5 years ago | 9 days ago | |
Haskell | Haskell | |
GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
passman-core
We haven't tracked posts mentioning passman-core yet.
Tracking mentions began in Dec 2020.
sbv
-
[ANNOUNCE] New release of SBV with support for quantifiers
A set of first-order-logic examples are included in the release. As usual, bug reports, comments, and contributions are most welcome at the github repo.
What are some alternatives?
scat - Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
bitvec - Bit arrays for Haskell
password - datatypes and functions for easily working with passwords in Haskell
hw-string-parse
gw - ghcWithPackages cmdline util
bit-vector - Simple bit vectors for Haskell
vt-utils - Vector and Text utilities
liquidhaskell - Liquid Types For Haskell
herbalizer - Convert HAML to ERB
autoexporter - :outbox_tray: Automatically re-export Haskell modules.
hw-bits
readline-statevar - readline-statevar: Haskell readline wrapper library with variables (setX/getY) wrapped in state vars