Bibliotecas

parser de tags HTML com streaming

codex

biblioteca de accountability para o Tamarin prover

codex

exportação de processos Sapic para ProVerif

codex

processos SAPIC para o Tamarin prover

codex

manipulação de termos para o Tamarin prover

codex

tipos de protocolos de segurança e resolvedor para Tamarin

codex

utilitários para o Tamarin prover

codex

leitura, escrita e manipulação de arquivos tar

codex

extração e criação de tar com streaming conduit

codex

framework de testes moderno e extensível

codex

saída XML do Tasty para Jenkins

codex

verificação de múltiplos itens em teste Tasty

codex

descoberta de testes para o framework Tasty

codex

marcação de falha esperada em testes Tasty

codex

suporte a testes golden para Tasty

codex

integração entre Tasty e Hedgehog

codex

auxiliares Tasty para testar HsLua

codex

suporte Hspec para o framework Tasty

codex

suporte HUnit para o framework Tasty

codex

suporte a inspection testing para Tasty

codex

framework KAT para Tasty

codex

testes em Lua integrados ao Tasty

codex

suporte QuickCheck para o framework Tasty

codex

reexecução apenas de testes que falharam antes

codex

executor Tasty com suporte a testes golden

codex

suporte SmallCheck para Tasty

codex

testes definidos por busca com referências golden

codex

descoberta automática de testes Tasty com Template Haskell

codex

acúmulo online de estatísticas baseadas em ranking

codex

compatibilidade retroativa para Template Haskell após 2.8

codex