Stavros Aronis (@aronisstav)
github

aronisstav

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Rank 529,752 (Top 19 %)
  • Followers 74
  • Following 38
  • Registered almost 15 years ago
  • Most used languages
    Erlang
         66.7 %
    Coq     11.1 %
    Yacc     11.1 %
    TeX
         11.1 %
  • Location 🇸🇪 Sweden
  • Country Total Rank 4,341
  • Country Ranking
    Coq     4
    Yacc     10
    Erlang
         69
    TeX
         147

Top repositories

1

erlang-concurrency-litmus-tests

A repository of "litmus" tests showing the interaction between Erlang's built-in operations.
Erlang
4
star
2

formal-trace-theory

Formal proof of the first lemma from the Optimal DPOR paper in proof.
Coq
3
star
3

tupler

Erlang
2
star
4

Logic2

project
2
star
5

Resume

My resume
TeX
2
star
6

ejsonlog

A drop-in logger formatter for Erlang that outputs messages as line delimited JSON.
Erlang
2
star
7

GitTalk

Presentation of git in Greek
1
star
8

aoc2018

Solutions for puzzles of Advent of Code 2018
Erlang
1
star
9

compilers_tutorial

Used in Compiler Design I course of Uppsala University.
Yacc
1
star
10

sched

Controllable runtime scheduler for Erlang programs with the ability to automatically instrument, record and replay traces.
Erlang
1
star
11

aoc2021

Solutions for https://adventofcode.com/2021
Erlang
1
star