Explore projects
-
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 -
phantomnet / oai-5g
GNU General Public License v3.0 onlyOpen Air Interface 5G Code, with modifications for PhantomNet.
Updated -
phantomnet / oai-cn
Apache License 2.0Open Air Interface Core Network code, with PhantomNet-specific changes.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
OAI Workbench updated to ubuntu20.04 and v1.5.0 default images
Updated -
Fork of Dustin's OAI workshop profile for messing with.
Updated -
-
Updated
-
Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016
Updated -
deker / llvm_pass_structfields
MIT LicenseA LLVM pass to extract fieldnames of structures passed across functions.
Updated -
Updated
-
Updated