Pinned Repositories
carma-base
Docker base image for the CARMA Platform, bakes in all necessary system dependencies to minimize final image size
carma-platform
CARMA Platform is built on robot operating system (ROS) and utilizes open source software (OSS) that enables Cooperative Driving Automation (CDA) features to allow Automated Driving Systems to interact and cooperate with infrastructure and other vehicles through communication.
carma-streets
CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component provides an interface for CDA participants to interact with the road infrastructure.
docbookrx
(An early version of) a DocBook to AsciiDoc converter written in Ruby.
itc-benchmarks
static analysis benchmarks from Toyota ITC
klee
KLEE Symbolic Execution Engine
multiflow-test
se-ui-prototype
A prototype for an interactive symbolic-execution issue report
sq-analysis-repo
An example C++ repository manually built with GNU Autotools(automake; make) on Linux and analyzed on SonarQube
tesseract
Tesseract Open Source OCR Engine (main repository)
arseniy-sonar's Repositories
arseniy-sonar/carma-base
Docker base image for the CARMA Platform, bakes in all necessary system dependencies to minimize final image size
arseniy-sonar/carma-platform
CARMA Platform is built on robot operating system (ROS) and utilizes open source software (OSS) that enables Cooperative Driving Automation (CDA) features to allow Automated Driving Systems to interact and cooperate with infrastructure and other vehicles through communication.
arseniy-sonar/carma-streets
CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component provides an interface for CDA participants to interact with the road infrastructure.
arseniy-sonar/docbookrx
(An early version of) a DocBook to AsciiDoc converter written in Ruby.
arseniy-sonar/itc-benchmarks
static analysis benchmarks from Toyota ITC
arseniy-sonar/klee
KLEE Symbolic Execution Engine
arseniy-sonar/multiflow-test
arseniy-sonar/se-ui-prototype
A prototype for an interactive symbolic-execution issue report
arseniy-sonar/sq-analysis-repo
An example C++ repository manually built with GNU Autotools(automake; make) on Linux and analyzed on SonarQube
arseniy-sonar/tesseract
Tesseract Open Source OCR Engine (main repository)
arseniy-sonar/test-sonarcloud2