Skip to content
View aronisstav's full-sized avatar

Organizations

@release-project @softlab-ntua @parapluu

Block or report aronisstav

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
Showing results

Library to check if a number is odd

Erlang 5 Updated Apr 1, 2025

Library to check if a number is even

Erlang 7 Updated Apr 1, 2025

🤯 beginners tutorial building a real time counter in Phoenix 1.7.14 + LiveView 1.0 ⚡️ Learn the fundamentals from first principals so you can make something amazing! 🚀

Elixir 419 43 Updated Apr 3, 2026

An Elixir implementation of HCL.

Elixir 36 2 Updated May 12, 2024

Create, configure, and manage AWS services from Erlang code.

Erlang 83 31 Updated Apr 4, 2026
Python 1 Updated Mar 27, 2021

The Erlang Language Server

Erlang 661 145 Updated Aug 15, 2025

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

Erlang 649 445 Updated Nov 3, 2025

decentralized package security audit network of trust

Elixir 32 1 Updated May 16, 2019

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

Go 25,224 923 Updated Apr 3, 2026

Erlang plugin for asdf version manager

Shell 531 127 Updated Oct 28, 2025
Erlang 10 4 Updated Oct 6, 2016

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

Erlang 3 2 Updated Jul 1, 2025

A CLI tool for signing and verifying npm and yarn packages.

TypeScript 95 2 Updated Jul 29, 2019

Git på svenska

867 203 Updated Oct 25, 2023

A model of a distributed Erlang network within a single VM.

Erlang 14 3 Updated Mar 21, 2023

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

Go 9,190 1,287 Updated Apr 3, 2026

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

HTML 12,262 1,247 Updated Jan 10, 2026

Git-based decentralized issue management

Shell 867 73 Updated Oct 17, 2025

Erlang linter - rebar3 plugin

Erlang 44 17 Updated Mar 23, 2026

Tool to convert Erlang cover data files into Cobertura XML reports

Erlang 76 56 Updated Sep 13, 2024

A framework for distributed systems verification, with fault injection

Clojure 7,348 747 Updated Mar 31, 2026

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

Erlang 41 36 Updated May 31, 2022

A mocking library for Erlang

Erlang 836 230 Updated Mar 30, 2026

A scalable global Process Registry and Process Group manager for Erlang and Elixir.

Erlang 694 84 Updated Mar 22, 2026

Curriculum vitae

TeX 1 Updated Dec 1, 2025

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

Erlang 3 1 Updated Mar 25, 2017

📁 FS: Windows, Linux, Mac Driver

Erlang 240 73 Updated Apr 1, 2025

Concuerror is a stateless model checking tool for Erlang programs.

Erlang 343 43 Updated Mar 24, 2026
Next