Explore projects
-
Updated
-
Updated
-
-
Updated
-
Updated
-
-
phantomnet / oai-cn
Apache License 2.0Open Air Interface Core Network code, with PhantomNet-specific changes.
Updated -
phantomnet / oai-5g
GNU General Public License v3.0 onlyOpen Air Interface 5G Code, with modifications for PhantomNet.
Updated -
Scripts to set up and play with Segment Routing IPV6 on Ubuntu in PhantomNet
Updated -
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
Updated -
emulab / docker_auth
OtherA simple JWT server from https://github.com/cesanta/docker_auth, for providing token auth service to a Docker registry; but with Emulab authorization/authentication backend support.
Updated -
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
Updated -
pydockerauth is a Docker Registry token authentication/authorization server written in Python.
Updated -
-
hp4 / hp4-ctrl
MIT LicenseController project for HyPer4; includes client, compiler, linker, rule translator, composer, and more.
Updated -
docker-registry-py is a simple Docker Registry v2 library that supports Python 2 and 3.
Updated -
-
Mark Van der Merwe / PBDD
BSD 2-Clause with views sentenceA simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php
Updated -
Mark Van der Merwe / PBL
BSD 2-Clause with views sentenceA simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
Updated -