adibrastegarnia

adibrastegarnia's Stars

• go-delve/delve

  Delve is a debugger for the Go programming language.

  Language:Go22.8k3741.7k2.1k

• theanalyst/awesome-distributed-systems

  A curated list to learn about distributed systems

  10.6k424111.4k

• ReactiveX/RxGo

  Reactive Extensions for the Go language.

  Language:Go4.9k110169336

• dgryski/awesome-consensus

  Awesome list for Paxos and friends

  2k961204

• lemmy/BlockingQueue

  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

  Language:TLA48512621

• karimra/gnmic

  gNMIc is a gNMI CLI client and collector

  Language:Go2171718032

• aristanetworks/goarista

  Fairly general building blocks used in Arista Go code and open-sourced for the benefit of all.

  Language:Go207284966

• nsg-ethz/p4-utils

  Extension to Mininet that makes P4 networks easier to build

  Language:Python18365667

• onosproject/onos-config

  Configuration subsystem for ONOS (µONOS Architecture)

  Language:Go442526855

• onosproject/tlaplus-monitor

  Tools for conformance monitoring on Kubernetes with TLA+

  Language:Java191406

• kuujo/just-in-time-paxos

  Language:TLA18300

• onosproject/onos-control

  Data Plane Reconciliation Library for ONOS (µONOS Architecture)

  Language:Go1416017

• onosproject/gnxi-simulators

  Code for simulating various device and orchestration entities with which ONOS interacts, e.g. gNMI, gNOI, P4Runtime

  Language:Go13143615

• onosproject/onos-test

  Integration test infrastructure for ONOS (µONOS Architecture)

  Language:Shell11135017

• onosproject/helmit

  Go framework for end-to-end verification of Helm applications on Kubernetes

  Language:Go510511

• onosproject/onos-e2t

  E2 AP Termination module for ONOS SD-RAN (µONOS Architecture)

  Language:Go513019

• onosproject/onos-ztp

  Zero-Touch-Provisioning subsystem for ONOS (µONOS Architecture)

  Language:Go516211

• ginocbjr/sentry-helm

  4212

• kubecost/events

  Eventing API

  Language:Go3901

• onosproject/onos-config-model

  Config model toolkit for Go µONOS services

  Language:Go38

• onosproject/device-provisioner

  Device config provisioner using P4Runtime and gNMI

  Language:Go23

• onosproject/onos-tlaplus

  TLA+ models for µONOS

  Language:TLA21301

• adibrastegarnia/tlaplus-monitor

  Tools for conformance monitoring on Kubernetes with TLA+

  Language:Java1200