Packages tagged security
63 packages have this tag.
[Merge tag] (trustees only)Related tags: library (57), bsd3 (33), program (17), mit (14), web (8), network (5), cryptography (4), deprecated (4), apache (3), database (3), parsers (3), aws (2), gpl (2), reverse-engineering (2), agpl (1), cli (1), console (1), data (1), devops (1), distributed-computing (1), dsl (1), filesystem (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| Capabilities | 4 | 0.0 | 1 | Separate and contain effects of IO monad. | (bsd3, generics, library, security) | 2013-08-08 | 0.1.0.0 | BaldurBlondal |
| GoogleSB | 5 | 0.0 | 1 | Interface to Google Safe Browsing API | (bsd3, library, security) | 2009-06-19 | 0.1 | AlexOtt |
| TransformeR (deprecated) | 3 | 0.0 | 0 | eDSL in R for Safe Variable Transformarion | (bsd3, deprecated, dsl, library, program, security, statistics) | 2016-08-04 | 0.1.0.0 | remy |
| acme-not-a-joke | 10 | 0.0 | 0 | implements ACME clients (rfc-8555) | (bsd3, library, security) | 2026-10-23 | 0.2.0.0 | LucasDiCioccio |
| acme-not-a-joke-wai | 3 | 0.0 | 0 | ACME http-01 and tls-alpn-01 challenges and live certificates for wai/warp | (bsd3, library, security) | 2026-10-23 | 0.1.0.0 | LucasDiCioccio |
| acme-not-a-joke-warp | 3 | 0.0 | 0 | automatic HTTPS for warp: obtains, stores, renews and serves ACME certificates | (bsd3, library, security) | 2026-10-23 | 0.1.0.0 | LucasDiCioccio |
| biscuit-haskell | 43 | 0.0 | 2 | Library support for the Biscuit security token | (bsd3, library, security) | 2026-09-27 | 0.5.0.0 | clementd |
| biscuit-servant | 16 | 0.0 | 0 | Servant support for the Biscuit security token | (bsd3, library, security) | 2026-09-27 | 0.5.0.0 | clementd |
| biscuit-wai | 5 | 0.0 | 0 | WAI middleware for the Biscuit security token | (bsd3, library, security) | 2026-09-27 | 0.1.0.0 | clementd |
| credentials | 10 | 0.0 | 0 | Secure Credentials Storage and Distribution | (aws, library, network, security) | 2017-04-28 | 0.0.2 | BrendanHay |
| credentials-cli | 9 | 0.0 | 1 | Secure Credentials Administration | (aws, console, network, program, security) | 2017-04-28 | 0.0.2 | BrendanHay |
| datacrypto | 10 | 0.0 | 0 | Encryption library | (data, library, mit, security) | 2025-01-05 | 1.1.0 | drJonas |
| dclabel (deprecated in favor of lio) | 9 | 0.0 | 3 | This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package. | (bsd3, deprecated, library, security) | 2012-08-17 | 0.9.0.0 | DeianStefan |
| dclabel-eci11 (deprecated in favor of lio) | 11 | 0.0 | 2 | The Disjunction Category Label Format. | (bsd3, deprecated, library, security) | 2011-07-23 | 0.3 | AlejandroRusso |
| dewdrop | 7 | 0.0 | 1 | Find gadgets for return-oriented programming on x86 | (bsd3, library, reverse-engineering, security) | 2011-08-28 | 0.1 | KeeganMcAllister |
| faceted | 8 | 0.0 | 1 | Faceted computation for dynamic information flow security | (apache, library, security) | 2014-05-12 | 0.0.2.0 | KennKnowles |
| flowlocks-framework | 11 | 0.0 | 1 | Generalized Flow Locks Framework | (bsd3, library, security) | 2022-05-17 | 0.1.4 | NiklasBroberg |
| gothic | 31 | 0.0 | 0 | A Haskell HashiCorp Vault KVv2 secret engine client | (database, devops, library, security) | 2026-08-27 | 0.2.0.0 | MichelBoucey |
| hpg | 17 | 0.0 | 1 | a simple password generator | (program, security) | 2018-01-04 | 0.8 | fritjof |
| hsaml2 | 11 | 0.0 | 1 | OASIS Security Assertion Markup Language (SAML) V2.0 | (apache, library, network, security, web) | 2026-02-17 | 0.2.0 | DylanSimon |
| jail | 10 | 0.0 | 1 | Jailed IO monad. | (bsd3, library, security, system) | 2009-08-27 | 0.0.1.1 | SebastiaanVisser |
| liboath-hs | 10 | 0.0 | 0 | Bindings to liboath | (gpl, library, program, security) | 2020-10-26 | 0.0.1.2 | parsonsmatt |
| lio | 69 | 2.0 | 4 | Labeled IO Information Flow Control Library | (library, mit, security) | 2020-09-23 | 0.11.7.1 | AmitLevy, DavidMazieres, DeianStefan |
| lio-eci11 (deprecated in favor of lio) | 14 | 0.0 | 1 | Labeled IO library | (deprecated, library, security) | 2011-07-23 | 0.2 | AlejandroRusso |
| lio-fs | 9 | 0.0 | 1 | Labeled File System interface for LIO | (library, security) | 2014-03-13 | 0.0.1.2 | DeianStefan |
| lmonad | 2 | 0.0 | 1 | LMonad is an Information Flow Control (IFC) framework for Haskell applications. | (library, mit, security) | 2016-01-08 | 0.1.0.0 | jp_rider |
| lmonad-yesod | 13 | 0.0 | 1 | LMonad for Yesod integrates LMonad's IFC with Yesod web applications. | (library, mit, security, web, yesod) | 2016-04-19 | 1.0.0.0 | jp_rider |
| mac | 6 | 2.25 | 1 | Static Mandatory Access Control in Haskell | (bsd3, library, security) | 2016-07-05 | 0.1.3.0 | AlejandroRusso |
| oauth2-server | 6 | 0.0 | 0 | OAuth 2.1 authorization server implementation | (library, mpl, security, web) | 2026-02-16 | 0.3.0.0 | tritlo |
| openssh-protocol | 2 | 0.0 | 0 | Haskell implementation of openssh protocol primitives. | (bsd3, library, security) | 2019-02-08 | 0.0.1 | MarkHibberd |
| otp-authenticator | 10 | 0.0 | 0 | OTP Authenticator (a la google) command line client | (bsd3, cli, library, program, security) | 2024-01-15 | 0.1.2.1 | jle |
| paphragen | 3 | 0.0 | 1 | A passphrase generator. | (gpl, program, security) | 2016-12-30 | 0.2.0.0 | mgmillani |
| passman | 10 | 2.0 | 0 | a simple password manager | (lgpl, library, program, security) | 2023-05-02 | 0.3.1.1 | jlamothe |
| password | 51 | 2.25 | 4 | Hashing and checking of passwords | (bsd3, library, security) | 2026-05-03 | 3.1.1.0 | cdepillabout, nideco |
| password-aeson | 3 | 0.0 | 1 | aeson typeclass instances for password package | (bsd3, library, security) | 2026-04-06 | 0.1.0.0 | cdepillabout, nideco |
| password-http-api-data | 2 | 0.0 | 1 | http-api-data typeclass instances for password package | (bsd3, library, security) | 2026-04-06 | 0.1.0.0 | cdepillabout, nideco |
| password-instances | 34 | 2.0 | 0 | typeclass instances for password package | (bsd3, library, security) | 2026-04-10 | 3.1.0.0 | cdepillabout, nideco |
| password-persistent | 3 | 0.0 | 1 | persistent typeclass instances for password package | (bsd3, library, security) | 2026-04-06 | 0.1.0.0 | cdepillabout, nideco |
| password-types | 7 | 0.0 | 7 | Types for handling passwords | (bsd3, library, security) | 2026-07-02 | 1.0.1.0 | cdepillabout, nideco |
| pi-hoole | 9 | 0.0 | 0 | Lightweight access control solution for the pijul vcs | (agpl, library, program, security) | 2018-05-05 | 0.2.0.0 | lethom |
| planb-token-introspection | 24 | 0.0 | 1 | Token Introspection for PlanB | (bsd3, library, security) | 2019-05-03 | 0.1.4.0 | DmitryIvanov, mtesseract |
| rz-pipe | 5 | 2.0 | 0 | Pipe interface for Rizin | (library, mit, program, reverse-engineering, security) | 2021-01-20 | 0.1.0 | FlorianMaerkl |
| safe-access | 32 | 0.0 | 1 | A simple environment to control access to data | (bsd3, library, security) | 2020-02-21 | 0.3.3.1 | thoferon |
| scyther-proof | 24 | 0.0 | 1 | Automatic generation of Isabelle/HOL correctness proofs for security protocols. | (program, security, theorem-provers) | 2015-06-21 | 0.10.0.1 | SimonMeier, lochbihl |
| seclib | 23 | 2.0 | 1 | A simple library for static information-flow security in Haskell | (bsd3, library, security) | 2021-01-25 | 1.1.0.3 | AlejandroRusso |
| secrm | 5 | 0.0 | 1 | Example of writing "secure" file removal in Haskell rather than C. | (program, public-domain, security) | 2010-09-24 | 0.0 | JonSlenk |
| servant-rate-limit | 10 | 0.0 | 2 | Rate limiting for Servant | (library, mit, security) | 2022-03-30 | 0.2.0.0 | mbg |
| shomei-core | 4 | 0.0 | 3 | Transport-agnostic domain: types, commands, events, errors, and effects | (library, mit, security, web) | 2026-08-28 | 0.2.0.0 | shinzui |
| shomei-jwt | 4 | 0.0 | 0 | JWT access-token signing/verification and JWKS publishing | (library, mit, security, web) | 2026-08-28 | 0.2.0.0 | shinzui |
| shomei-migrations | 3 | 0.0 | 0 | Schema migrations for Shōmei (pg-migrate component, embedded SQL) | (database, library, mit, program, security) | 2026-08-28 | 0.2.0.0 | shinzui |
| shomei-postgres | 1 | 0.0 | 0 | PostgreSQL adapters for Shōmei's store/publisher/signing-key ports | (database, library, mit, security) | 2026-08-28 | 0.2.0.0 | shinzui |
| shomei-servant | 4 | 0.0 | 0 | Servant API, handlers, and auth combinators for Shōmei | (library, mit, program, security, web) | 2026-08-28 | 0.2.0.0 | shinzui |
| sme | 6 | 0.0 | 1 | A library for Secure Multi-Execution in Haskell | (bsd3, library, security) | 2011-05-07 | 0.1 | AlejandroRusso |
| smith-cli | 5 | 0.0 | 0 | Command line tool for <https://smith.st/ Smith>. | (bsd3, program, security) | 2019-02-08 | 0.0.1 | MarkHibberd |
| smith-client | 2 | 0.0 | 0 | API client for <https://smith.st/ Smith>. | (bsd3, library, security) | 2019-02-08 | 0.0.1 | MarkHibberd |
| tahoe-chk | 8 | 0.0 | 3 | The Tahoe-LAFS' Content-Hash-Key (CHK) cryptographic protocol. | (bsd3, cryptography, library, parsers, program, security) | 2023-10-02 | 0.2.0.0 | ShaeErisson, jcalderone |
| tahoe-directory | 2 | 0.0 | 1 | Tahoe-LAFS directory-like abstraction for collections of data objects. | (bsd3, cryptography, library, parsers, security) | 2023-08-17 | 0.1.0.0 | ShaeErisson, jcalderone |
| tahoe-great-black-swamp | 5 | 0.0 | 1 | An implementation of the "Great Black Swamp" LAFS protocol. | (bsd3, cryptography, distributed-computing, filesystem, library, network, network-apis, program, security, service, storage, web) | 2023-11-06 | 0.4.0.1 | ShaeErisson, jcalderone |
| tahoe-ssk | 7 | 0.0 | 2 | An implementation of the Tahoe-LAFS SSK cryptographic protocols | (bsd3, cryptography, library, parsers, program, security) | 2023-10-10 | 0.3.0.0 | ShaeErisson, jcalderone |
| wai-rate-limit | 8 | 0.0 | 4 | Rate limiting as WAI middleware | (library, mit, security) | 2022-03-30 | 0.3.0.0 | mbg |
| wai-rate-limit-postgres | 22 | 2.0 | 0 | See README for more info | (apache, library, network, security, web) | 2022-06-27 | 0.6.0.0 | AdityaManthramurthy |
| wai-rate-limit-redis | 7 | 0.0 | 1 | Redis backend for rate limiting as WAI middleware | (library, mit, security) | 2022-03-21 | 0.2.0.1 | mbg |
| wai-saml2 | 27 | 0.0 | 0 | SAML2 assertion validation as WAI middleware | (library, mit, security) | 2026-08-29 | 0.7.1 | mbg |