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 539 40 Updated Feb 21, 2026

Rust crate for Flattened Devicetree parsing

Rust 56 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 315 36 Updated Mar 4, 2026

Data structure serialization library with several opposite design goals from Serde

Rust 924 30 Updated Feb 16, 2026

The Babel routing daemon

C 419 102 Updated Nov 4, 2024

Lightweight Open BMW Software Traceability Evidence Report

Python 39 15 Updated Apr 1, 2026

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

C 1,646 78 Updated Mar 11, 2026

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

Python 1,414 320 Updated Mar 10, 2026

Rust support for seL4 userspace

Rust 195 35 Updated Mar 31, 2026

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

Rust 2,664 549 Updated Mar 30, 2026

Software Quality Management Tool

Python 49 10 Updated Apr 1, 2026

Verilog Ethernet components for FPGA implementation

Verilog 2,903 813 Updated Feb 27, 2025

Test harness for ui tests of compiler diagnostics

Rust 962 77 Updated Mar 25, 2026

Automated property based testing for Rust (with shrinking).

Rust 2,726 161 Updated Feb 10, 2026

Powerful RDF Knowledge Graph Generation with RML Mappings

Python 268 53 Updated Mar 2, 2026

Language Servers for Stardog Languages

TypeScript 39 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 📦 https://github.com/johnthagen/min-sized-rust

Rust 9,711 243 Updated Oct 3, 2025

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

Rust 2,727 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 263 14 Updated Oct 27, 2022

Operational Domain Modelling Environment

Java 6 7 Updated Mar 28, 2026

a small self-contained source filtering lib

Nix 236 18 Updated Sep 14, 2025

Source code of Ferrocene, safety-critical Rust toolchain

Rust 1,607 47 Updated Apr 1, 2026
Next