Pinned Repositories
Concuerror
Concuerror is a systematic testing tool for concurrent Erlang programs
disco
a Map/Reduce framework for distributed computing
kazoo
nidhugg
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
ntua_compilers
Programs and utilities for the Compilers course at NTUA
otp
Erlang/OTP
pqueue
Erlang Priority Queues
proper
PropEr: a QuickCheck-inspired Property-based testing tool for Erlang
kostis's Repositories
kostis/ntua_compilers
Programs and utilities for the Compilers course at NTUA
kostis/otp
Erlang/OTP
kostis/proper
PropEr: a QuickCheck-inspired Property-based testing tool for Erlang
kostis/Concuerror
Concuerror is a systematic testing tool for concurrent Erlang programs
kostis/disco
a Map/Reduce framework for distributed computing
kostis/nidhugg
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
kostis/kazoo
kostis/pqueue
Erlang Priority Queues
kostis/VR-23-Bengt-Kostis
Mirror repository of VR-23 for common access of Bengt+Kostis
kostis/qd_library
C++ QD locking library
kostis/shrinking-challenge
Comparing shrinking approaches and performance across different PBT libraries