Popular repositories Loading

1. ntua_compilers ntua_compilers Public

   Programs and utilities for the Compilers course at NTUA

   Erlang 17 32

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