aronisstav

aronisstav's Stars

• asdf-vm/asdf

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

  Language:Go22.4k125838790

• drduh/YubiKey-Guide

  Guide to using YubiKey for GnuPG and SSH

  Language:HTML11.4k2192401.2k

• keybase/client

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

  Language:Go8.9k2977.4k1.2k

• jepsen-io/jepsen

  A framework for distributed systems verification, with fault injection

  Language:Clojure6.9k192246723

• eproxus/meck

  A mocking library for Erlang

  Language:Erlang81632127232

• bjorne/git-pa-svenska

  Git på svenska

  7942023193

• dspinellis/git-issue

  Git-based decentralized issue management

  Language:Shell788315366

• erlcloud/erlcloud

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

  Language:Erlang65146198448

• erlang-ls/erlang_ls

  The Erlang Language Server

  Language:Erlang64024710138

• ostinelli/syn

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

  Language:Erlang638335376

• asdf-vm/asdf-erlang

  Erlang plugin for asdf version manager

  Language:Shell48713197120

• dwyl/phoenix-liveview-counter-tutorial

  🤯 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! 🚀

  Language:Elixir387944739

• parapluu/Concuerror

  Concuerror is a stateless model checking tool for Erlang programs.

  Language:Erlang3341613942

• jcomellas/getopt

  Erlang module to parse command line arguments using the GNU getopt syntax

  Language:Erlang252142383

• 5HT/fs

  📁 FS: Windows, Linux, Mac Driver

  Language:Erlang23683369

• RedpointArchive/pkgsign

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

  Language:TypeScript946141

• aws-beam/aws-erlang

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

  Language:Erlang7992834

• covertool/covertool

  Tool to convert Erlang cover data files into Cobertura XML reports

  Language:Erlang76131556

• markusn/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.

  Language:Erlang4151335

• project-fifo/rebar3_lint

  Erlang linter - rebar3 plugin

  Language:Erlang4051418

• nietaki/hoplon

  decentralized package security audit network of trust

  Language:Elixir324271

• drowzy/hxl

  An Elixir implementation of HCL.

  Language:Elixir31381

• outofordergames/blocbybloc

  24333

• klarna/vnet

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

  Language:Erlang131305

• keithelder/presentations

  Language:Erlang10204

• sctbenchmarks/sctbenchmarks

  Language:C6113

• miby00/ePort

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

  Language:Erlang3102

• slfritchie/cr-concuerror-experiments

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

  Language:Erlang3301

• johan-mattias/codejam2021

  Language:Python1100

• lemonidas/CV

  Curriculum vitae

  Language:TeX1200