Pinned

1. goyang goyang Public

   Forked from openconfig/goyang

   YANG parser and compiler to produce Go language objects

   Go

2. ygot ygot Public

   Forked from openconfig/ygot

   A YANG-centric Go toolkit - Go/Protobuf Code Generation; Validation; Marshaling/Unmarshaling - Forking to extend/tweak the generator

   Go 1 1

3. yang yang Public

   Forked from danos/yang

   Fork of DANOS/yang - An excellent yang compiler developed initially by the Vyatta team.

   Go

4. configd configd Public

   Forked from danos/configd

   Fork of configd, a NOS management system for DANOS/Vyatta including some useful Yang cmd utils.

   Go

5. Gomela Gomela Public

   Forked from nicolasdilley/Gomela

   Tool developped for "Bounded verification of message passing concurrency in Go programs."

   Promela