Explore projects
-
-
OSPO Alliance / GGI
Creative Commons Attribution 4.0 InternationalUpdated -
-
Decoder / semparsing_tool
BSD 2-Clause "Simplified" LicenseThe Decoder WP2 SemanticParsing tool.
Updated -
A deployable instance of the GGI Handbook, for local implementation of the method.
Updated -
-
reachout / crypt-component
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
CLIF runtime, load injectors, probes and GUIs. The clif-legacy repo is the reference version to use, still maintained and extended, as long as the Proactive CLIF version is not fully functional.
Updated -
-
Decoder / trace_recovery_tool
BSD 2-Clause "Simplified" LicenseThis projects is used to build traceability links between Decoder artifacts
Updated -
Updated
-
CHOReVOLUTION / chorevolution-studio
Apache License 2.0Updated -
-
Updated
-
-
CHOReVOLUTION / syncope
Apache License 2.0Updated -
asm / eclipse-plugin
BSD 2-Clause "Simplified" LicenseThis project contains the sources of the OW2 ASM library Eclipse plugin.
archived 1Updated