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 521 38 Updated Dec 3, 2025

Rust crate for Flattened Devicetree parsing

Rust 55 29 Updated Jan 11, 2026
Nix 1 Updated Jul 26, 2025

Code coverage support for Rust `no_std` and embedded programs

C 63 15 Updated Dec 5, 2025

Swiss army knife container for vscode development environments

Go 314 36 Updated May 15, 2025

Data structure serialization library with several opposite design goals from Serde

Rust 915 30 Updated Feb 16, 2026

The Babel routing daemon

C 415 100 Updated Nov 4, 2024

Lightweight Open BMW Software Traceability Evidence Report

Python 38 15 Updated Feb 16, 2026

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

C 1,539 74 Updated Jan 14, 2026

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

Python 1,392 317 Updated Feb 3, 2026

Rust support for seL4 userspace

Rust 189 34 Updated Feb 13, 2026

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

Rust 2,593 527 Updated Feb 16, 2026

Software Quality Management Tool

Python 43 10 Updated Jan 30, 2026

Verilog Ethernet components for FPGA implementation

Verilog 2,851 807 Updated Feb 27, 2025

Test harness for ui tests of compiler diagnostics

Rust 953 77 Updated Feb 12, 2026

Automated property based testing for Rust (with shrinking).

Rust 2,698 160 Updated Feb 10, 2026

Powerful RDF Knowledge Graph Generation with RML Mappings

Python 260 50 Updated Feb 15, 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 74 9 Updated Apr 3, 2024

🦀 How to minimize Rust binary size 📦

Rust 9,665 244 Updated Oct 3, 2025

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

Rust 2,714 57 Updated May 10, 2024

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

Rust 6 1 Updated Sep 22, 2018

Livecoding networked visuals in the browser

JavaScript 257 14 Updated Oct 27, 2022

Operational Domain Modelling Environment

Java 6 5 Updated Oct 15, 2025

a small self-contained source filtering lib

Nix 234 18 Updated Sep 14, 2025

Source code of Ferrocene, safety-critical Rust toolchain

Rust 1,579 46 Updated Feb 16, 2026
Next