Skip to content
View kostis's full-sized avatar
  • NTUA, Greece + Uppsala University, Sweden
  • Athens + Uppsala

Organizations

@release-project @softlab-ntua @protocol-fuzzing

Block or report kostis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ntua_compilers ntua_compilers Public

    Programs and utilities for the Compilers course at NTUA

    Erlang 8 12

  2. otp otp Public

    Forked from erlang/otp

    Erlang/OTP

    Erlang 5 1

  3. proper proper Public

    Forked from proper-testing/proper

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

    Erlang 4 1

  4. disco disco Public

    Forked from discoproject/disco

    a Map/Reduce framework for distributed computing

    Erlang 1

  5. Concuerror Concuerror Public

    Forked from parapluu/Concuerror

    Concuerror is a systematic testing tool for concurrent Erlang programs

    Erlang 1

  6. nidhugg nidhugg Public

    Forked from nidhugg/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…

    C 1 1