Skip to content
View jshs's full-sized avatar
2 followers · 0 following

Block or report jshs

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. dmenu_desktop dmenu_desktop Public

    List and run desktop applications.

    Shell 1

  2. scyther-proof scyther-proof Public

    Forked from meiersi/scyther-proof

    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

    Haskell

  3. applicative-lifting applicative-lifting Public

    Isabelle 1

  4. flink flink Public

    Forked from apache/flink

    Apache Flink

    Java

  5. Monitoring-using-DDlog Monitoring-using-DDlog Public

    Forked from aydogdub/Monitoring-using-DDlog

    Python

  6. reactive-chunked-bug reactive-chunked-bug Public

    Java