Jordan Halterman's repositories
onos-tlaplus
TLA+ specifications for Open Network Operating System (ONOS)
awesome-tlaplus
A curated list of TLA+ resources.
build-tools
This repository contains build tools used across many onosproject repositories.
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
config-models
Model Plugins for onos-config. YANG Files compiled with YGOT, loadable as Shared Object Libraries
goreleaser-cross
Docker image for Golang cross-compiling with CGO
micro-onos-tlaplus
TLA+ specifications for μONOS
mkdocs-import-plugin
MkDocs plugin to programmatically generate documentation pages during the build
mkdocs-multirepo-plugin
Build documentation in multiple repos into one site.
onos-config
Configuration subsystem for µONOS - a new generation ONOS architecture
onos-config-model
Config model toolkit for Go µONOS services
onos-control
Data Plane Reconciliation Library for ONOS (µONOS Architecture)
onos-helm-charts
Helm charts for ONOS (µONOS Architecture)
onos-operator
Kubernetes operator for µONOS/SD-RAN
onos-proxy
ONOS side-car proxy for various subsystems, e.g. E2T
onos-ric-sdk-go
Golang Application SDK for ONOS RIC (µONOS Architecture)
simulators
Code for simulating various device and orchestration entities with which ONOS interacts, e.g. gNMI, gNOI, P4Runtime
tlaplus-monitor
Real-time model checker plugin for TLA+
tlaplus-monitor-fork
Tools for conformance monitoring on Kubernetes with TLA+