Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆23Feb 20, 2026Updated last week
Alternatives and similar repositories for csdiff
Users that are interested in csdiff are comparing it to the libraries listed below
Sorting:
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆26Updated this week
- Allocator and manager for (expensive) resources☆10Jul 21, 2025Updated 7 months ago
- 🐚 GitHub Action for running ShellCheck differentially☆63Feb 20, 2026Updated last week
- ☆16Jan 4, 2019Updated 7 years ago
- Linux HPSDR☆16Mar 7, 2023Updated 2 years ago
- OpenScanHub is a service for static and dynamic analysis.☆19Feb 9, 2026Updated 2 weeks ago
- DVI PMOD adapter (HDMI connector)☆31Feb 2, 2021Updated 5 years ago
- Hardware designs for Raspberry Pi Pico debug board.☆24Nov 25, 2023Updated 2 years ago
- A Python tool for parsing and exporting 'aws-nuke' output logs into structured JSON or CSV formats.☆10Jun 7, 2024Updated last year
- Balthazar's case and the design. Updates regularly as we progress.☆12Oct 22, 2024Updated last year
- A tool to generate FreeDSP Aurora plugins from SigmaStudio Exports, written in Perl.☆10Jul 28, 2020Updated 5 years ago
- My blog and its static site generator☆10Oct 28, 2024Updated last year
- Global analysis platform for fluorescence data☆12Jan 6, 2026Updated last month
- Evaluate and compare SBOMs of Maven projects☆13Mar 3, 2023Updated 2 years ago
- Analog Watch/Clock with Arduino and and ST7789 IPS☆10Feb 8, 2020Updated 6 years ago
- ☆10Dec 23, 2014Updated 11 years ago
- ☆13Aug 19, 2015Updated 10 years ago
- Electronic shifter for Rohloff planetary hub due Shimano di2 levers.☆12Oct 8, 2022Updated 3 years ago
- ☆10Jun 27, 2024Updated last year
- Arduino library for Sharp telemeter☆11Nov 8, 2020Updated 5 years ago
- Source code for controlling a 28-stepper motor 7-segment display with a single Arduino Mega2560☆11Apr 2, 2022Updated 3 years ago
- 3D modeling projects implemented while learning & experimenting with FreeCAD☆13Jun 4, 2021Updated 4 years ago
- Full Featured Arduino library for the SI4713 FM transmitter chip☆14May 7, 2022Updated 3 years ago
- EBAZ4205 Board FPGA project☆14Oct 20, 2023Updated 2 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Run x509lint from a PostgreSQL function☆11Apr 3, 2020Updated 5 years ago
- Raspberry Pi Pico frequency divider☆14Nov 21, 2021Updated 4 years ago
- Programmers' GUI tool for converting between various data types.☆12Jul 22, 2024Updated last year
- Tron wallet☆10Feb 11, 2022Updated 4 years ago
- Cloned from ndi.iki.fi/lindi/git/ubx.git/☆10Jul 23, 2013Updated 12 years ago
- ☆13Feb 8, 2021Updated 5 years ago
- Rundeck Golang SDK☆11Nov 19, 2025Updated 3 months ago
- Простейшая VGA-видеокарта на Atmega168-20.☆10Apr 4, 2020Updated 5 years ago
- This is a demodulator multimode AM SSB CW for quadrature input signal (es. taken from ElkSDR-UNO receiver or QRPLab Receiver o similar).☆12May 4, 2025Updated 9 months ago
- Repository for demo applications that use Node.js on Mobile☆13Sep 15, 2021Updated 4 years ago
- A Bluetooth keyboard for Homey using a ESP32 for emulation☆15Nov 12, 2019Updated 6 years ago
- The Color TFT Touchscreen Power / SWR meter repository. Here you will find schematics, Gerbers and Kicad project files to the Color TFT …☆11Mar 10, 2025Updated 11 months ago
- WSPR-zero turns a Raspberry Pi Zero into a WSPR transmitter and receiver perfect for traveling.☆12Nov 7, 2025Updated 3 months ago
- Public Benefits Studio's Document Extractor to automate document data extraction with AI and OCR.☆13Jun 2, 2025Updated 8 months ago