Stars
8
stars
written in C++
Clear filter
Open Source API and interchange format for editorial timeline information.
A minimalistic and high-performance SAT solver
SCAP Scanner And Tailoring Graphical User Interface
Oink is a collaboration of C++ static analysis tools.
LibreScribe is an effort to create an open source, easy-to-use and feature complete LiveScribe desktop client replacement for the Linux operating system. A large portion of the "behind-the-scenes" …
hl://Dig is a fork of ht://Dig, a web indexing and searching system for a small domain or intranet
VCTLabs / scap-workbench
Forked from OpenSCAP/scap-workbenchSCAP Scanner And Tailoring Graphical User Interface