mustache2hs
sbv
Our great sponsors
mustache2hs | sbv | |
---|---|---|
- | 1 | |
7 | 235 | |
- | - | |
0.0 | 9.3 | |
over 10 years ago | 11 days ago | |
Haskell | Haskell | |
LicenseRef-OtherLicense | 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.
mustache2hs
We haven't tracked posts mentioning mustache2hs 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?
cli - Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell
bitvec - Bit arrays for Haskell
haskades - Autogenerate bindings for using Haskell with BB10
hw-string-parse
thentos-cookie-session
vt-utils - Vector and Text utilities
constraints - Tools for programming with ConstraintKinds in GHC
gw - ghcWithPackages cmdline util
scat - Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
bit-vector - Simple bit vectors for Haskell
profunctors - Haskell 98 Profunctors
liquidhaskell - Liquid Types For Haskell