aronisstav Goto Github PK

acm-paper-base

Base files for ACM workshop papers

aoc2018

Solutions for puzzles of Advent of Code 2018

aoc2019

Solutions for puzzles of Advent of Code 2019

aoc2020

Solutions for https://adventofcode.com/2020

aoc2021

Solutions for https://adventofcode.com/2021

aoc2022

Solutions for https://adventofcode.com/2022

aoc2023

benchmarks_tacas2015

brod

Apache Kafka client library for Erlang/Elixir

circuit_breaker

:boom: An Erlang library for breaking out of faulty services

code-beam-europe

codejam2021

compilers_tutorial

Used in Compiler Design I course of Uppsala University.

concuerror

OFFICIAL REPOSITORY MOVED:

coveralls-erl

Erlang module to convert and send cover data to coveralls.io (or similar). Available as a hex package on https://hex.pm/packages/coveralls.

cr-concuerror-experiments

Experiments using the Concuerror tool to verify that models of Chain Repair algorithms preserve CR's strong consistency properties

docs-travis-ci-com

The Travis CI Documentation

ejsonlog

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

eport

ePort is a library to make easy but restricted rpc:calls between erlang components running on diffrent nodes.

erlang-code

Build and Dialyze scripts for popular Erlang projects

erlang-concurrency-litmus-tests

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

erlang-nightly

erlang-org

The erlang.org website

erlang.github.io

The Erlang/OTP blog

erlcloud

AWS APIs library for Erlang (Amazon EC2, S3, SQS, DDB, ELB and etc)

fingertip

Single hand operation app for the Pebble Time smartwatch, using a smartstrap-glove with an Arduino processor.

formal-trace-theory

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

git-achievements

Aquire achievements while using git.

git-issue

Git-based issue management

github-issue-templates

:symbols: A collection of GitHub issue and pull request templates