Janwillem Swalens's repositories
chocolalib
Chocola as an extension of Clojure
chocola-redex
PLT Redex implementation of Chocola.
stm-in-clojure
Meta-circular Clojure STM implementation
actors4clj
Extremely simple actors library for Clojure
plt-redex-exercises
Exercises for PLT Redex Summer School 2015
transactional-actors
Transactional Actors for Clojure
transactional-futures
Transactional Futures and Promises for Clojure. Experimental.
bayes
Bayes application of STAMP benchmark ported to Clojure, and extended to use transactional futures.
labyrinth
Labyrinth application of STAMP benchmark ported to Clojure, and extended to use transactional futures.
vacation2
"Vacation" benchmark from STAMP adapted to use Transactional Actors
ecoop-2016-benchmarks
Benchmarks for ECOOP16 paper (see branches).
plt-redex-helper-functions
Some helper functions for PLT Redex.
transactional-futures-redex
Executable semantics of transactional futures in PLT Redex.
yada
Yada application of STAMP benchmark ported to Clojure, and extended to use transactional futures. Failed experiment (no speed-up).