alcestes/effpi

---

alcestes/effpi.json

{
  "createdAt": "2019-04-18T14:02:30Z",
  "defaultBranch": "master",
  "description": "Verified message-passing programs in Dotty",
  "fullName": "alcestes/effpi",
  "homepage": null,
  "language": "Scala",
  "name": "effpi",
  "pushedAt": "2021-04-20T09:03:54Z",
  "stargazersCount": 49,
  "topics": [
    "actors",
    "dotty",
    "model-checking",
    "processes",
    "scala"
  ],
  "updatedAt": "2025-07-28T18:23:27Z",
  "url": "https://github.com/alcestes/effpi"
}

Effpi: verified message-passing programs in Dotty

Effpi is an experimental toolkit for strongly-typed concurrent and distributed programming in Dotty (a.k.a. the future Scala 3 programming language), with verification capabilities based on type-level model checking.

The home page of Effpi is: https://alcestes.github.io/effpi

Note: to compile Effpi, JDK 11 is recommended.

Authors

Effpi is developed by:

• Alceste Scalas — DTU Compute, Technical University of Denmark (alcsc (at) dtu (dot) dk)
• Elias Benussi — Faculty Science Ltd. (elias (at) faculty (dot) ai)

The theory behind Effpi is developed in collaboration with:

• Nobuko Yoshida — Imperial College London, UK (n.yoshida (at) imperial (dot) ac (dot) uk)