phaller

lacasa

Lightweight affine types and object capabilities in Scala

reactive-async

Expressive deterministic concurrency in Scala

spores3

Abstractions for making closures in Scala safer and more flexible

scala-async-flow

akka-raft

A toy project implementing RAFT on top of Akka Cluster (not prod ready)

docs

ScalaJoins

A library for join patterns in Scala

apsa

Applied Static Analysis

artifact-description-template

Template for descriptions of ECOOP 2017 artifacts

async

An asynchronous programming facility for Scala

cafebabe

Tiny Scala library to generate class files for the JVM

darts-ecoop-authors

Template for descriptions of ECOOP 2018 artifacts

ecoop-2017-darts-issue

experiments_java

f-p

A new programming model for asynchronous and distributed programming.

hello-dd2480

hello-dd2480-vt20

IFDS-RA

Concurrent implementation of the IFDS algorithm based on Reactive Async

incremental-ifds

Work repository for the incremental IFDS solver

OACP-Maude

othello

papers-documents

Papers I (+ collaborators) have written or am currently writing

phaller.github.io

Reminder

sample-http-client

sample-http-service

sauerkraut

A reimagined scala-pickling in the Scala 3 world

scala-bison

A recursive ascent/descent parser generator for Scala

sda8-git

swa-android