Skip to content
View tiagoad's full-sized avatar
🔨
🔨

Organizations

@HortaFCUL @vostpt

Block or report tiagoad

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
21 stars written in Rust
Clear filter

A simple, fast and user-friendly alternative to 'find'

Rust 40,917 957 Updated Dec 8, 2025

Lightning-fast and Powerful Code Editor written in Rust

Rust 37,777 1,204 Updated Dec 25, 2025

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

Rust 36,237 1,157 Updated Dec 25, 2025

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Rust 16,319 1,103 Updated Dec 22, 2025

Modern embedded framework, using Rust and async.

Rust 7,974 1,290 Updated Dec 24, 2025

Flexible concrete Error type built on std::error::Error

Rust 6,348 178 Updated Dec 23, 2025

View disk space usage and delete unwanted data, fast.

Rust 5,384 136 Updated Nov 24, 2025

RedisJSON - a JSON data type for Redis

Rust 3,947 338 Updated Dec 18, 2025

A themeable LS_COLORS generator with a rich filetype datebase

Rust 2,092 99 Updated Oct 19, 2025

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

Rust 1,639 265 Updated Dec 23, 2025

Creusot helps you prove your code is correct in an automated fashion.

Rust 1,393 64 Updated Dec 19, 2025

A native implementation of ØMQ in Rust

Rust 1,334 122 Updated Dec 19, 2025

Easy and efficient encrypted backups.

Rust 915 32 Updated Feb 16, 2024

MQTT Server/MQTT Broker - Scalable Distributed MQTT Message Broker for IoT in the 5G Era

Rust 846 102 Updated Dec 11, 2025

Tool for manipulating and re-signing Android A/B OTAs

Rust 805 62 Updated Dec 2, 2025

YubiKey plugin for age

Rust 800 34 Updated Dec 22, 2025

Framework for large distributed pipelines

Rust 754 53 Updated Mar 4, 2023

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Rust 670 15 Updated Jun 13, 2025

[deprecated; merged upstream] A fork of the Rust programming language with AVR support

Rust 487 14 Updated Jul 24, 2020

LoRa and LoRaWAN crates for End Devices

Rust 400 89 Updated Nov 27, 2025
Rust 227 36 Updated Dec 24, 2025