Nick's repositories

RelaSharp

Model-checker for lock and wait free C# code

Language:C#License:MITStargazers:77Issues:8Issues:0

StoreLoad

Minimal example to demonstrate non-sequentially consistent executions on x86/x64

Language:C#Stargazers:10Issues:2Issues:0

SharpLeftRight

Left-Right Synchronisation Primitive (wait-free reads w/ concurrent writes)

Language:C#License:MITStargazers:5Issues:2Issues:1

integer-structures

Time & space efficient, dynamic ordered data structures for 32/64-bit integer keys

quat_julia

Simple ray-marched rendering of the quaternion Julia set.

Language:ClojureStargazers:2Issues:2Issues:0

AdversaryExperiments

Experiments with adversaries for algorithms constructing partial orders (sorting, selection, partial sorting, etc)

Language:C#Stargazers:1Issues:3Issues:0

Either

The exception monad, in C#. Not a good idea.

Language:C#Stargazers:1Issues:2Issues:0

EqualFringe

Various solutions to the Equal Fringe problem

Language:C#Stargazers:1Issues:2Issues:0

CASStorm

Simple demonstration of "CAS storming" spin-lock

Language:C#Stargazers:0Issues:2Issues:0

ccyChart

Toy for learning Play! framework. Retrieve and plot 90 days of EURUSD.

Language:JavaStargazers:0Issues:2Issues:0

Chess

A concurency testing tool

Language:C#License:NOASSERTIONStargazers:0Issues:2Issues:0

COWBench

A micro-benchmark of copy-on-write

Language:C#Stargazers:0Issues:2Issues:0
Language:C#Stargazers:0Issues:2Issues:0