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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results
Rust 3 Updated May 19, 2026
C 578 44 Updated Jun 9, 2026

Rust crate for Flattened Devicetree parsing

Rust 58 32 Updated Apr 24, 2026
Nix 1 Updated Jul 26, 2025

Code coverage support for Rust `no_std` and embedded programs

C 65 15 Updated Dec 5, 2025

Swiss army knife container for vscode development environments

Go 314 35 Updated Mar 4, 2026

Data structure serialization library with several opposite design goals from Serde

Rust 937 31 Updated Aug 3, 2026

The Babel routing daemon

C 446 106 Updated Jun 20, 2026

Lightweight Open BMW Software Traceability Evidence Report

Python 52 21 Updated Aug 4, 2026

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

C 1,872 86 Updated Aug 2, 2026

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

Python 1,499 343 Updated Aug 2, 2026

Rust support for seL4 userspace

Rust 210 39 Updated Jul 27, 2026

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

Rust 2,879 617 Updated Aug 3, 2026

Software Quality Management Tool

Python 57 12 Updated Jul 31, 2026

Verilog Ethernet components for FPGA implementation

Verilog 3,054 845 Updated Feb 27, 2025

Test harness for ui tests of compiler diagnostics

Rust 984 85 Updated Aug 3, 2026

Automated property based testing for Rust (with shrinking).

Rust 2,776 161 Updated Apr 3, 2026

Powerful RDF Knowledge Graph Generation with RML Mappings

Python 287 56 Updated Jun 28, 2026

Language Servers for Stardog Languages

TypeScript 40 8 Updated Apr 6, 2026
Makefile 4 Updated Aug 8, 2024

Parser for online-tickets according to ETF-918.3

Python 75 9 Updated Apr 3, 2024

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

Rust 9,823 247 Updated Oct 3, 2025

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

Rust 2,756 59 Updated May 10, 2024

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

Rust 8 1 Updated Sep 22, 2018

Livecoding networked visuals in the browser

JavaScript 271 15 Updated Oct 27, 2022

Operational Domain Modelling Environment

Java 6 8 Updated Jun 20, 2026

a small self-contained source filtering lib

Nix 250 20 Updated Sep 14, 2025
Next