Skip to content
@sessionstar

sessionstar

Popular repositories Loading

  1. oopsla20-artifact oopsla20-artifact Public

    Artifact for "Statically Verified Refinements for Multiparty Protocols" (Accepted by OOPSLA '20)

    F* 5

  2. sessionstar sessionstar Public

    Java

  3. scribble-java scribble-java Public

    Forked from scribble/scribble-java

    Core components for the Scribble Java tools

    Java

Repositories

Showing 3 of 3 repositories
  • scribble-java Public Forked from scribble/scribble-java

    Core components for the Scribble Java tools

    sessionstar/scribble-java’s past year of commit activity
    Java 0 27 0 0 Updated May 21, 2021
  • sessionstar Public
    sessionstar/sessionstar’s past year of commit activity
    Java 0 Apache-2.0 0 0 2 Updated Apr 26, 2021
  • oopsla20-artifact Public

    Artifact for "Statically Verified Refinements for Multiparty Protocols" (Accepted by OOPSLA '20)

    sessionstar/oopsla20-artifact’s past year of commit activity
    F* 5 Apache-2.0 0 0 0 Updated Feb 1, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…