Skip to content
View dadada's full-sized avatar

Block or report dadada

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
C 503 37 Updated Dec 3, 2025

Rust crate for Flattened Devicetree parsing

Rust 53 29 Updated Dec 8, 2025
Nix 1 Updated Jul 26, 2025

Code coverage support for Rust `no_std` and embedded programs

C 62 14 Updated Dec 5, 2025

Swiss army knife container for vscode development environments

Go 306 35 Updated May 15, 2025

Data structure serialization library with several opposite design goals from Serde

Rust 916 30 Updated Dec 27, 2025

The Babel routing daemon

C 411 98 Updated Nov 4, 2024

Lightweight Open BMW Software Traceability Evidence Report

Python 32 14 Updated Jan 2, 2026

Next Generation Custom Firmware for the PSP and Vita's ePSP.

C 1,453 71 Updated Dec 15, 2025

WFB-NG - the next generation of long-range packet radio link based on raw WiFi radio

Python 1,359 308 Updated Dec 20, 2025

Rust support for seL4 userspace

Rust 179 33 Updated Nov 26, 2025

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Rust 2,517 512 Updated Jan 1, 2026

Software Quality Management Tool

Python 39 9 Updated Dec 19, 2025

Verilog Ethernet components for FPGA implementation

Verilog 2,818 803 Updated Feb 27, 2025

Test harness for ui tests of compiler diagnostics

Rust 948 77 Updated Dec 20, 2025

Automated property based testing for Rust (with shrinking).

Rust 2,674 159 Updated May 5, 2025

Powerful RDF Knowledge Graph Generation with RML Mappings

Python 246 48 Updated Jan 1, 2026

Language Servers for Stardog Languages

TypeScript 37 8 Updated Jul 9, 2025
Makefile 4 Updated Aug 8, 2024

Parser for online-tickets according to ETF-918.3

Python 73 9 Updated Apr 3, 2024

🦀 How to minimize Rust binary size 📦

Rust 9,581 239 Updated Oct 3, 2025

Find out what takes most of the space in your executable.

Rust 2,692 57 Updated May 10, 2024

A simple program for the simulation of ADS-B input as MAVLink messages

Rust 5 1 Updated Sep 22, 2018

Livecoding networked visuals in the browser

JavaScript 251 13 Updated Oct 27, 2022

Operational Domain Modelling Environment

Java 6 5 Updated Oct 15, 2025

a small self-contained source filtering lib

Nix 230 18 Updated Sep 14, 2025

Source code of Ferrocene, safety-critical Rust toolchain

Rust 1,541 44 Updated Jan 2, 2026
Next