Meta-circular Clojure STM implementation
-
Updated
Nov 17, 2014 - Clojure
Meta-circular Clojure STM implementation
Transactional Futures and Promises for Clojure. Experimental.
Benchmarks for ECOOP16 paper (see branches).
Executable semantics of transactional futures in PLT Redex.
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
Stanford Transactional Applications for Multi-Processing: a benchmark suite for transactional memory research. Fork of https://github.com/daveboutcher/stamp-mp, which now appears to be offline.
Terminal chat application written purely in haskell
Structural Topic Modeling of land grabbing in Southeast Asia.
Transactional Actors for Clojure
Learning structural topic modeling using the stm R package.
Software Transactional Memory for Purescript
A improved version of FOOP, it has STM and state separation logic baked in
My proposed solution to the Lambdawerk backend test
An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library
Add a description, image, and links to the stm topic page so that developers can more easily learn about it.
To associate your repository with the stm topic, visit your repo's landing page and select "manage topics."