Pinned Repositories
lacasa
Lightweight affine types and object capabilities in Scala
reactive-async
Expressive deterministic concurrency in Scala
scala
The Scala programming language
scala-async-flow
scala-dev
The Scala Programming Language: Virtualized
spores3
Abstractions for making closures in Scala safer and more flexible
pickling
Fast, customizable, boilerplate-free pickling support for Scala
scala
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
scala-async
An asynchronous programming facility for Scala
phaller's Repositories
phaller/lacasa
Lightweight affine types and object capabilities in Scala
phaller/reactive-async
Expressive deterministic concurrency in Scala
phaller/spores3
Abstractions for making closures in Scala safer and more flexible
phaller/scala-async-flow
phaller/akka-raft
A toy project implementing RAFT on top of Akka Cluster (not prod ready)
phaller/docs
phaller/ScalaJoins
A library for join patterns in Scala
phaller/apsa
Applied Static Analysis
phaller/artifact-description-template
Template for descriptions of ECOOP 2017 artifacts
phaller/async
An asynchronous programming facility for Scala
phaller/cafebabe
Tiny Scala library to generate class files for the JVM
phaller/darts-ecoop-authors
Template for descriptions of ECOOP 2018 artifacts
phaller/ecoop-2017-darts-issue
phaller/experiments_java
phaller/f-p
A new programming model for asynchronous and distributed programming.
phaller/hello-dd2480
phaller/hello-dd2480-vt20
phaller/IFDS-RA
Concurrent implementation of the IFDS algorithm based on Reactive Async
phaller/incremental-ifds
Work repository for the incremental IFDS solver
phaller/OACP-Maude
phaller/othello
phaller/papers-documents
Papers I (+ collaborators) have written or am currently writing
phaller/phaller.github.io
phaller/Reminder
phaller/sample-http-client
phaller/sample-http-service
phaller/sauerkraut
A reimagined scala-pickling in the Scala 3 world
phaller/scala-bison
A recursive ascent/descent parser generator for Scala
phaller/sda8-git
phaller/swa-android