cve-search - a tool to perform local searches for known vulnerabilities

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Python scraper based on AI

A standalone version of the readability lib

Turn Webpage to LLM friendly input text. Similar to Jina Reader and Firecrawl API. Makes image & webpage links extraction easy for web scraping.

A lightweight, secure, and feature-rich Discord terminal client.

Lightweight library for scraping web-sites with LLMs

This repository is intended to develop the work supported by the Latin America Research Awards 2018.

A small optical sorter for coffee, nuts, beans, corn and similar. Fully open source. UNFINISHED.

SigAPI-AutoCraft

The open source Firebase alternative. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

HTTP client for PostgreSQL, retrieve a web page from inside the database.

Vulnerability-Lookup facilitates quick correlation of vulnerabilities from various sources, independent of vulnerability IDs, and streamlines the management of Coordinated Vulnerability Disclosure …

Ruby on Rails

The efficient SMT-based context-bounded model checker (ESBMC)

OSS-Fuzz - continuous fuzzing for open source software.

OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.

Example project of DDS-TSN integration

LSVerifier - Large Systems Verifier

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 code examples of the "Effective Software Testing: A Developer's Guide" book

ProVerif model and tools for formal analysis of DDS Security

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

The DDS Router is an application developed by eProsima that allows, using Fast DDS, to communicate by DDS protocol different networks. Looking for commercial support? Contact [email protected]

This script allows you to automate the creation of Gmail accounts using the Selenium automation framework with the Chrome WebDriver. It navigates through the Gmail sign-up process by filling in the…

Video over the Data Distribution Service Application (VoDA)

Active Bluetooth BR/EDR Sniffer/Injector as cheap as any ESP32 board can get. Works with Scapy ;-)