prabh-t's repositories
concurrent-skiplist
An implementation of maps and sets based on a concurrent-skiplist implementation.
Language:Haskell000
haskell-lockfree
A collection of different packages for CAS based data structures.
Language:Haskell000
lvars
A collection of prototype LVar implementations, tools, and mechanized semantics.
Language:Haskell000
Language:Haskell000
nbody
Implementations of the nbody problem in a number of languages, including Haskell, F# and Scala
Language:F#000
parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Language:HaskellNOASSERTION000
pardata
A number of advanced evaluation strategies for tree-like data structures.
000
prabh-t.github.io
Prabh T's website
Language:Haskell000
VELASSCO
velassco platform codes
Language:C++000
Language:HTML000