kuujo Goto Github PK

onos-tlaplus

TLA+ specifications for Open Network Operating System (ONOS)

onos-topo

Topology subsystem for ONOS (µONOS Architecture)

onos-ztp

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

p4runtime

Specification documents for the P4Runtime control-plane API

parparse

PHP command-line arguments parser.

python-prompt-toolkit

Library for building powerful interactive command lines in Python

simulators

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

spark

Mirror of Apache Spark

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

tlaplus-monitor

Real-time model checker plugin for TLA+

tlaplus-monitor-fork

Tools for conformance monitoring on Kubernetes with TLA+

vert.x

vert.x - The scalable polyglot application platform for the JVM

vertigo

Flow-based programming for the Vert.x application platform.

vertigo-docs

Aggregated Vertigo API documentation for vertigo.kuujo.net

vertigo-js

Javascript API for Vert.igo

vertigo-python

Python API for Vert.igo - a distributed event processing framework for Vert.x

vertx-copycat

vertx-materials

Various stuff about Vert.x

vertx-python

vertx-zookeeper

Zookeeper Vert.x Cluster Manager

yuppy

Python Programming for the Privileged Class