mtak-/swym

Efficient transactional memory in rust.

Language: Rust - Size: 613 KB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 210 - Forks: 6

typelift/Concurrent

Functional Concurrency Primitives

Language: Swift - Size: 301 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 209 - Forks: 20

BowenFu/hspp

hspp: An experimental library to bring Haskell Style Programming to C++.

Language: C++ - Size: 438 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 155 - Forks: 0

TimWSpence/cats-stm

A STM implementation for Cats Effect

Language: Scala - Size: 6.32 MB - Last synced at: 1 day ago - Pushed at: 13 days ago - Stars: 148 - Forks: 17

ocaml-multicore/kcas

Software Transactional Memory for OCaml

Language: OCaml - Size: 1.43 MB - Last synced at: 15 days ago - Pushed at: 2 months ago - Stars: 120 - Forks: 11

haskell/stm

Software Transactional Memory

Language: Haskell - Size: 228 KB - Last synced at: 10 days ago - Pushed at: 7 months ago - Stars: 105 - Forks: 36

oleg-py/stm4cats

STM monad for cats-effect

Language: Scala - Size: 114 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 37 - Forks: 4

gixxi/lambdaroyal-memory

STM-based in-memory database storing persistent data structures

Language: Clojure - Size: 1.28 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 23 - Forks: 0

durban/choam

Experiments with composable lock-free concurrency

Language: Scala - Size: 7.39 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 17 - Forks: 1

per-framework/trade.cpp

A transactional locking implementation for C++

Language: C++ - Size: 3.4 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0

syaiful6/purescript-stm

Software Transactional Memory for Purescript

Language: PureScript - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 2

jswalens/chocolalib

Chocola as an extension of Clojure

Language: Java - Size: 80.1 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

jswalens/chocola-redex

PLT Redex implementation of Chocola.

Language: Racket - Size: 120 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

sidmishraw/mustash-stm-v2 📦

Quarantined Software Transactional Memory (QSTM)

Language: Java - Size: 149 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 1

liyang/thesis

Compiling Concurrency Correctly—Verifying Software Transactional Memory

Language: TeX - Size: 367 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 0

jswalens/stm-in-clojure Fork of tvcutsem/stm-in-clojure

Meta-circular Clojure STM implementation

Language: Clojure - Size: 151 KB - Last synced at: over 2 years ago - Pushed at: over 10 years ago - Stars: 3 - Forks: 0

gvonness/bengal-stm

High-performance STM for Cats Effect

Language: Scala - Size: 235 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

mtumilowicz/clojure-concurrency-stm-workshop

Language: Clojure - Size: 57.6 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

odipar/smanikin

Scala version of Manikin

Language: Scala - Size: 399 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

sidmishraw/stm-reworked-go 📦

An optimistic software transactional memory in Go

Language: Go - Size: 1.29 MB - Last synced at: 12 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

sidmishraw/santa-claus-go

An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library

Language: Go - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

caneroj1/stm-supply

STM Wrapper around Control.Concurrent.Supply

Language: Haskell - Size: 8.79 KB - Last synced at: 10 days ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

lematt1991/ICFP15-Coq-Proofs

Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq

Language: Coq - Size: 127 KB - Last synced at: over 2 years ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 1

effekt-community/effekt-stm Fork of jonaskr8/effekt-stm

originally jonaskr8/effekt-stm

Language: Nix - Size: 52.7 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

wyk9787/G-Thread

A lock-free software-only runtime system for C++ that eliminates concurrency errors for fork-join parallel programs

Language: C++ - Size: 7.32 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

aajayssingh/ostm

The rep contains object based STM implementation.

Language: C - Size: 13.8 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

sidmishraw/gostm

STM in Golang

Language: Go - Size: 1000 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

sidmishraw/MonadicSTM

Software Transactional Memory for Java8 using Monads

Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

jswalens/transactional-actors

Transactional Actors for Clojure

Language: Java - Size: 5.72 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

jswalens/stamp-mp

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.

Language: C - Size: 59.9 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

jswalens/transactional-futures

Transactional Futures and Promises for Clojure. Experimental.

Language: Java - Size: 5.21 MB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

caithesi/test-concerrency

Language: Elixir - Size: 3.42 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

YconquestY/stm

Dual-versioned software transactional memory (DV-STM) library

Language: C++ - Size: 273 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mx00s/ant-stm-demo

Demo of Software Transactional Memory involving ants walking on a 2D grid

Language: Haskell - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

rhishikeshj/swift-concurrency-experiments

Experiments in adding better concurrency constructs in Swift

Language: Swift - Size: 54.7 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

calvinlfer/zio-intro-game-solutions

My solutions to the ZIO game

Language: Scala - Size: 52.7 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

evolvedbinary/deucestm-annotations

DeuceSTM Annotations

Language: Java - Size: 8.79 KB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

sidmishraw/foop-1

FOOPs!

Language: Java - Size: 79.1 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

sidmishraw/foop-improved-2

A improved version of FOOP, it has STM and state separation logic baked in

Language: Java - Size: 32.2 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

jswalens/transactional-futures-redex

Executable semantics of transactional futures in PLT Redex.

Language: Racket - Size: 144 KB - Last synced at: over 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

jswalens/ecoop-2016-benchmarks

Benchmarks for ECOOP16 paper (see branches).

Language: Shell - Size: 5.94 MB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0