8000 dadada (Tim) / Starred · GitHub
[go: up one dir, main page]

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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 Aug 27, 2026
C 598 45 Updated Oct 22, 2026

Rust crate for Flattened Devicetree parsing

Rust 60 34 Updated Oct 1, 2026
Nix 2 Updated Jul 26, 2025

Code coverage support for Rust `no_std` and embedded programs

C 69 16 Updated Aug 14, 2026

Swiss army knife container for vscode development environments

Go 314 34 Updated Mar 4, 2026

Data structure serialization library with several opposite design goals from Serde

Rust 955 34 Updated Aug 6, 2026

The Babel routing daemon

C 457 108 Updated Sep 30, 2026

Lightweight Open BMW Software Traceability Evidence Report

Python 63 27 Updated Nov 6, 2026

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

C 1,882 86 Updated Aug 2, 2026

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

Python 1,565 350 Updated Nov 6, 2026

Rust support for seL4 userspace

Rust 222 43 Updated Nov 5, 2026

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

Rust 3,004 683 Updated Nov 7, 2026

Software Quality Management Tool

Python 63 14 Updated Nov 6, 2026

Verilog Ethernet components for FPGA implementation

Verilog 3,146 866 Updated Feb 27, 2025

Test harness for ui tests of compiler diagnostics

Rust 1,014 87 Updated Oct 7, 2026

Automated property based testing for Rust (with shrinking).

Rust 2,804 166 Updated Apr 3, 2026

Powerful RDF knowledge graph generation with RML mappings

Python 300 61 Updated Oct 15, 2026

Language Servers for Stardog Languages

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

Parser for online-tickets according to ETF-918.3

Python 76 9 Updated Apr 3, 2024

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

Rust 9,873 248 Updated Oct 3, 2025

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

Rust 2,777 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 279 15 Updated Oct 27, 2022

Operational Domain Modelling Environment

Java 7 8 Updated Oct 23, 2026

a small self-contained source filtering lib

Nix 252 20 Updated Oct 13, 2026
Next
0