Haskell Security

Open-source Haskell projects categorized as Security | Edit details

Top 15 Haskell Security Projects

  • GitHub repo echidna

    Ethereum smart contract fuzzer

    Project mention: Appsec for solidity | reddit.com/r/ethdev | 2021-05-12
  • GitHub repo hackage-repo-tool

    Hackage security framework based on TUF (The Update Framework)

  • GitHub repo lio

    Labeled IO Library

  • GitHub repo lmonad

    Information Flow Control for Haskell applications

  • GitHub repo liboath-hs

    Haskell bindings to the liboath library.

  • GitHub repo lio-fs

    Labeled IO Library (by scslab)

  • GitHub repo passman

    Password Manager

  • GitHub repo smith-cli

    This is a command line tool for interacting with https://smith.st

  • GitHub repo wai-rate-limit

    Rate limiting as WAI middleware

  • GitHub repo openssh-protocol

    Haskell implementation of openssh protocol primitives.

  • GitHub repo wai-saml2

    WAI middleware implementing SAML2

  • GitHub repo faceted

    Secure Information Flow

  • GitHub repo planb-token-introspection

    PlanB Token Introspection

  • GitHub repo smith-client

    This is an API client library for interacting with https://smith.st

  • GitHub repo paphragen

    A passphrase generator which can also build dictionaries.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-05-12.


What are some of the best open-source Security projects in Haskell? This list will help you:

Project Stars
1 echidna 698
2 hackage-repo-tool 48
3 lio 46
4 lmonad 5
5 liboath-hs 4
6 lio-fs 3
7 passman 2
8 smith-cli 2
9 wai-rate-limit 2
10 openssh-protocol 1
11 wai-saml2 1
12 faceted 1
13 planb-token-introspection 1
14 smith-client 0
15 paphragen 0