Giters
Kostis Sagonas (kostis)

kostis

Geek Repo

152

followers

0

following

12

stars

Company:NTUA, Greece + Uppsala University, Sweden

Location:Athens + Uppsala

Github PK Tool:Github PK Tool

Organizations
protocol-fuzzing
release-project
softlab-ntua

Kostis Sagonas's repositories

ntua_compilers

Programs and utilities for the Compilers course at NTUA

Language:ErlangStargazers:7Issues:7Issues:1

otp

Erlang/OTP

Language:ErlangStargazers:5Issues:6Issues:0

proper

PropEr: a QuickCheck-inspired Property-based testing tool for Erlang

Language:ErlangLicense:GPL-3.0Stargazers:4Issues:2Issues:0

Concuerror

Concuerror is a systematic testing tool for concurrent Erlang programs

Language:ErlangLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0

disco

a Map/Reduce framework for distributed computing

Language:ErlangLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

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.

Language:CLicense:GPL-3.0Stargazers:1Issues:2Issues:0

kazoo

Language:ErlangLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pqueue

Erlang Priority Queues

Language:ErlangLicense:MITStargazers:0Issues:2Issues:0

VR-23-Bengt-Kostis

Mirror repository of VR-23 for common access of Bengt+Kostis

Language:TeXStargazers:0Issues:2Issues:0

qd_library

C++ QD locking library

Language:C++License:BSD-2-ClauseStargazers:0Issues:2Issues:0

shrinking-challenge

Comparing shrinking approaches and performance across different PBT libraries

Language:JavaStargazers:0Issues:1Issues:0