Pinned Repositories
aoc2020
Solutions for https://adventofcode.com/2020
ejsonlog
A drop-in logger formatter for Erlang that outputs messages as line delimited JSON.
erlang-concurrency-litmus-tests
A repository of "litmus" tests showing the interaction between Erlang's built-in operations.
formal-trace-theory
Formal proof of the first lemma from the Optimal DPOR paper in proof.
git-achievements
Aquire achievements while using git.
Logic2
project
otp
Erlang/OTP
Resume
My resume
vnet
A model of a distributed Erlang network within a single VM.
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
aronisstav's Repositories
aronisstav/erlang-concurrency-litmus-tests
A repository of "litmus" tests showing the interaction between Erlang's built-in operations.
aronisstav/otp
Erlang/OTP
aronisstav/ejsonlog
A drop-in logger formatter for Erlang that outputs messages as line delimited JSON.
aronisstav/aoc2018
Solutions for puzzles of Advent of Code 2018
aronisstav/aoc2021
Solutions for https://adventofcode.com/2021
aronisstav/aoc2022
Solutions for https://adventofcode.com/2022
aronisstav/Concuerror
OFFICIAL REPOSITORY MOVED:
aronisstav/aoc2020
Solutions for https://adventofcode.com/2020
aronisstav/ACM-Paper-Base
Base files for ACM workshop papers
aronisstav/aoc2019
Solutions for puzzles of Advent of Code 2019
aronisstav/aoc2023
aronisstav/code-beam-europe
aronisstav/codejam2021
aronisstav/ePort
ePort is a library to make easy but restricted rpc:calls between erlang components running on diffrent nodes.
aronisstav/erlang-org
The erlang.org website
aronisstav/erlang.github.io
The Erlang/OTP blog
aronisstav/erlcloud
AWS APIs library for Erlang (Amazon EC2, S3, SQS, DDB, ELB and etc)
aronisstav/git-issue
Git-based issue management
aronisstav/loki
Like Prometheus, but for logs.
aronisstav/meck
A mocking library for Erlang
aronisstav/pop_contest
Code for an app used at GASP!
aronisstav/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
aronisstav/proper-testing.github.io
aronisstav/rebar3
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
aronisstav/rebar3.org
Rebar3.org
aronisstav/sctbenchmarks
aronisstav/so-simple-theme
A simple Jekyll theme for words and pictures.
aronisstav/swoosh
Compose, deliver and test your emails easily in Elixir
aronisstav/testing_cbvsto20
aronisstav/vnet
A model of a distributed Erlang network within a single VM.