swym is an experimental STM that can be used to implement concurrent data structures with performance not far from lock-free data structures.
See the docs for more information.
Initial benchmarks can be found here.
