rhbzquery
sbv
Our great sponsors
rhbzquery | sbv | |
---|---|---|
- | 1 | |
5 | 235 | |
- | - | |
0.0 | 9.3 | |
about 2 years ago | 8 days ago | |
Haskell | Haskell | |
GNU General Public License v2.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.
rhbzquery
We haven't tracked posts mentioning rhbzquery 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
cli - Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell
hw-string-parse
autoexporter - :outbox_tray: Automatically re-export Haskell modules.
gw - ghcWithPackages cmdline util
stratum-tool - Command-line tool for communicating with Electrum server
bit-vector - Simple bit vectors for Haskell
dirstream - Easily stream directory contents in constant memory
vt-utils - Vector and Text utilities
pipes-binary - Encode and decode binary streams using the pipes and binary libraries.
liquidhaskell - Liquid Types For Haskell