- Uppsala, Sweden
-
10:16
(UTC +02:00) - https://orcid.org/0000-0002-1035-8378
- @vahnatai@hachyderm.io
Stars
🤯 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! 🚀
Create, configure, and manage AWS services from Erlang code.
AWS APIs library for Erlang (Amazon EC2, S3, SQS, DDB, ELB and etc)
decentralized package security audit network of trust
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
ePort is a library to make easy but restricted rpc:calls between erlang components running on diffrent nodes.
A CLI tool for signing and verifying npm and yarn packages.
A model of a distributed Erlang network within a single VM.
Keybase Go Library, Client, Service, OS X, iOS, Android, Electron
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
Tool to convert Erlang cover data files into Cobertura XML reports
A framework for distributed systems verification, with fault injection
Erlang module to convert and send cover data to coveralls.io (or similar). Available as a hex package on https://hex.pm/packages/coveralls.
A scalable global Process Registry and Process Group manager for Erlang and Elixir.
Experiments using the Concuerror tool to verify that models of Chain Repair algorithms preserve CR's strong consistency properties
Concuerror is a stateless model checking tool for Erlang programs.