GaloisInc / msf-haskell
Haskell implementation of Metasploit remote API
☆20Updated 9 years ago
Alternatives and similar repositories for msf-haskell:
Users that are interested in msf-haskell are comparing it to the libraries listed below
- 🚣 Smuggle all imports☆71Updated 4 years ago
- Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk☆75Updated 5 months ago
- Hackage security framework based on TUF (The Update Framework)☆57Updated 3 months ago
- ☆12Updated 2 months ago
- ☆51Updated last week
- Library of the ##dependent distributed research support group☆112Updated 9 months ago
- Embedded specification language & model checker in Haskell☆173Updated this week
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Measure allocations of a Haskell functions/values☆94Updated 5 months ago
- Cryptographic library for Haskell☆68Updated 2 months ago
- Haskell code complexity and quality measurement☆61Updated 2 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- Perform GPIO from Haskell☆21Updated 5 years ago
- Haskell Protobuf Implementation☆82Updated this week
- The HaTeX User's Guide☆21Updated 3 years ago
- The Software Foundations book, in GHC☆82Updated 3 months ago
- Ghosts of Departed Proofs☆43Updated 6 years ago
- lowlevel set of cryptographic primitives for haskell☆226Updated 2 years ago
- Distributed tracing☆24Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- OpenTracing (https://opentracing.io) for Haskell☆40Updated 2 months ago
- An implementation of "Freer Monads, More Extensible Effects".☆65Updated 6 years ago
- Secure WebSocket (WSS) clients in Haskell.☆69Updated 2 months ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated last year
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated 6 months ago
- UI experiments for coda☆66Updated 3 years ago