Hide content and notifications from this user.
Contact Support about this user's behavior.
Easily encrypt files, notes, and passwords
secure backup tool
Hash-based password manager
Manipulate the system clipboard from Go
Cryptographic packages for Go
Go bindings to LibYAML
random identity generator
Jotmuch bookmark manager
Quickly encrypt strings
Java IRC bot framework
Highlight source code using Pygments
Tool for generating HTTPS certificates
Minimalist Go package aimed at creating Console User Interfaces.
Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.
Cryptographically Secure PRNG for Python
Formal semantics of LLVM IR in K
Translator from GHC Core to Isabelle/HOLCF
Translate OCaml code to XML
Formal semantics of Haskell in K
Convert Haskell values into K terms and vice versa
Run Frink programs over IRC
Types and parsers for the K semantic framework
A Haskell interface to the Maude rewriting system
Introduce fresh variables into Haskell source code
Post Correspondence Programming Language
Universal Turing Machine
Cryptol specification of the Keccak (SHA-3) hash function