scafi's repositories
hello-scafi
A sample project to illustrate the usage of scafi.
artifact-2021-ecoop-smartc
This repository contains the XC/Scala DSL and XC/Scala-Alchemist-based case study of the paper "Functional programming for distributed systems with XC" accepted at ECOOP'22.
Language:ScalaNOASSERTION000
artifact-2021-ecoop-xc
The XC/Scala DSL (based on ScaFi), presented in the paper "Functional programming for distributed systems with XC" accepted at ECOOP'22.
Language:ScalaNOASSERTION000
macro-swarm
An aggregate computing library to program swarm behaviours!
softwarex-scr-example
Self-Organising Coordination Regions example developed with ScaFi