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

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

Showing results

kostis / disco

Forked from discoproject/disco

a Map/Reduce framework for distributed computing

Erlang 1 Updated Apr 20, 2012

erlang-lager / lager

A logging framework for Erlang/OTP

Erlang 1,131 447 Updated Aug 26, 2025

basho / riak_sysmon

Simple OTP app for managing Erlang VM system_monitor event messages

Erlang 74 46 Updated Dec 21, 2022

yiannist / otp

Forked from erlang/otp

ErLLVM: Erlang/OTP with an LLVM backend for HiPE

Erlang 59 3 Updated Apr 11, 2014

jj1bdx / sfmt-erlang

sfmt-erlang: SIMD-oriented Fast Mersenne Twister (SFMT) for Erlang

Erlang 70 23 Updated Jan 20, 2022

kostis / proper

Forked from proper-testing/proper

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

Erlang 4 1 Updated Mar 12, 2026

mariachris / Concuerror

Erlang 114 20 Updated May 27, 2015

kostis / otp

Forked from erlang/otp

Erlang/OTP

Erlang 5 1 Updated Jul 3, 2019

willemdj / erlsom

XML parser for Erlang

Erlang 269 107 Updated Sep 7, 2025

discoproject / disco

a Map/Reduce framework for distributed computing

Erlang 1,632 242 Updated Jan 30, 2018