Block or report user

Report or block kaepora

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Developer Program Member



Pinned repositories

  1. cryptocat/cryptocat

    Secure chat software for your computer.

    JavaScript 896 163

  2. Inria-Prosecco/proscript-messaging

    Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

    OCaml 27 5

  3. SymbolicSoft/noiseexplorer

    Noise Explorer is an online engine for reasoning about Noise Protocol Framework Handshake Patterns.

    HTML 9

  4. project-everest/quackyducky

    Automated generation of verified F* parsers from RFC specifications

    F* 7 1

  5. diskgem

    Command-line secure file transfer client.

    Go 14 5

  6. miniLock

    File encryption software that does more with less.

    JavaScript 779 90

267 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to SymbolicSoft/noiseexplorer, kaepora/diskgem, kaepora/nvim and 5 other repositories

Contribution activity

November 2018

3 contributions in private repositories Nov 19

Seeing something unexpected? Take a look at the GitHub profile guide.