prabh-t/monad-par
Public repository.
A collection of prototype LVar implementations, tools, and mechanized semantics.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
A collection of different packages for CAS based data structures.
An implementation of maps and sets based on a concurrent-skiplist implementation.