cpsa
The Cryptographic Protocol Shapes Analyzer (CPSA) attempts to enumerate all essentially different executions possible for a cryptographic pr
- Category
- Haskell packages
Official docs outline
github.comExtra Credit builds an outline of cpsa's docs the first time your work uses it. Until then, start at the official documentation.
More in Haskell packages
All 1,000- data-fix
- sbp Haskell bindings for Swift Navigation Binary Protocol (SBP), a fast, simple, and minimal binary protocol for communicating with Swift device
- deferred-folds
- safe-exceptions Please see README.md
- html-conduit This package uses tagstream-conduit for its parser. It automatically balances mismatched tags, so that there shouldn't be any parse failures
- calamity Please see the README on GitHub at https://github.com/simmsb/calamity#readme
- xmlhtml Contains renderers and parsers for both XML and HTML 5 document fragments, which share data structures so that it's easy to work with both.
- haskell-gi-base
- cabal-bounds A command line program for managing the bounds/versions of the dependencies in a cabal file. 'cabal-bounds' is able to do these things with
- half Half-precision floating-point.
- eventstore EventStore TCP Client https://eventstore.com
- zlib-conduit