ROSA 🤖 is an AI Agent designed to interact with ROS1- and ROS2-based robotics systems using natural language queries. ROSA helps robot developers inspect, diagnose, understand, and operate robots.

The open source coding agent.

Lightweight and efficient C++17 library for parsing and writing VICAR image files

A 3D Visualization Framework built for Robotics

F´ - A flight software and embedded systems framework

Fuzz test your application using your OpenAPI or Swagger API definition without coding

A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.

An interactive (fast) static source code analyzer

Google Protocol Buffers message generator

AFLFast (extends AFL with Power Schedules)

Git status for Bash and Zsh prompt

Practical mutation testing and fault injection for C and C++

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

C++ Mutation Test Environment

Shake build system

Mutation testing system

https://codeberg.org/ccxvii/minilibs

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Compiler/source code fuzzing tool using AFL instrumentation

The corrective bash syntax highlighter

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

🐍 Complete C99 parser in pure Python

A unit test-like interface for fuzzing and symbolic execution

Preprocessor for Markdown files to generate a table of contents and other documentation needs

GitHub markdown preprocessor.

Delete branches that have been squashed and merged into main

Obsolete repository. Moved to oracle/graal.

Qt-oriented static code analyzer based on the Clang framework