Skip to content
View kkohbrok's full-sized avatar

Organizations

@openmls @phnx-im

Block or report kkohbrok

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. mls-implementation-considerations mls-implementation-considerations Public

    Considerations and guidance for implementers of the MLS protocol.

    Makefile 2 3

  2. FStar FStar Public

    Forked from FStarLang/FStar

    An ML-like language aimed at program verification

    OCaml

  3. kkohbrok.github.io kkohbrok.github.io Public

    Personal Webpage

  4. mls-protocol mls-protocol Public

    Forked from mlswg/mls-protocol

    MLS protocol

    Makefile

  5. spacemacs spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp

  6. mls-architecture mls-architecture Public

    Forked from mlswg/mls-architecture

    MLS architecture

    Makefile