Skip to content
  • Aston University
  • Birmingham, UK

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Session programming in Scala

    Scala 55 1

  2. Verified message-passing programs in Dotty

    Scala 35 6

  3. Multiparty Session Types toolKit

    Scala 7 2

  4. Forked from scribble/scribble-java

    Core components for the Scribble Java tools

    Java

  5. Forked from epsrc-abcd/abcd-website

    ABCD Project website

    HTML

  6. Crashing the Dotty Language Server 0.11.0-RC1

    Scala

58 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

August 2020

alcestes has no activity yet for this period.

July 2020

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

You can’t perform that action at this time.