Explore projects
-
-
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
Describes the steps needed to add new terms to the Cyber Ontology
Updated -
-
Shreyaskumar Patel / admin
Apache License 2.0Updated -
Martin Haeuer / admin
Apache License 2.0Updated -
-
-
-
community / cla / Apache 2.0 CLA
Apache License 2.0Apache 2.0 Contributor License Agreements (CLA) are CLAs used by IEEE Open Source Projects where authors wish to place their contributions under the terms of the Apache 2.0 license.
Updated -
Updated
-
-
Updated
-
Open at RIT / ASSERT / assert_documentation
Creative Commons Zero v1.0 UniversalSupplementary files that help with running the ASSERT project.
Updated -
Devashish Chaudhary / assert_manager
GNU General Public License v3.0 or laterThis project is mostly written in Python, and has a few different subprojects.
Updated -
Open at RIT / ASSERT / assert_manager
GNU General Public License v3.0 or laterThis project is mostly written in Python, and has a few different subprojects.
Updated -
Open at RIT / ASSERT / ASSERT_Plus
GNU General Public License v3.0 or laterThis is a maven project written entirely in Java. This contains the ASSERT algorithm and produces a JAR file.
Updated -
-
-
osvvm / AXI4
Apache License 2.0AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components.
Updated