Skip to content
View ariel17's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report ariel17

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

Empowering everyone to build reliable and efficient software.

Rust 108,659 14,257 Updated Dec 21, 2025

A cross-platform, OpenGL terminal emulator.

Rust 61,521 3,248 Updated Dec 5, 2025

Anki is a smart spaced repetition flashcard program

Rust 25,335 2,656 Updated Dec 20, 2025

🤖 The Modern Port Scanner 🤖

Rust 18,726 1,246 Updated Dec 19, 2025

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

Rust 10,706 568 Updated Dec 20, 2025

🌠 Manage your shell commands.

Rust 5,950 145 Updated Dec 19, 2025

Delivery infrastructure for agents. Arch is a models-native proxy and data plane for agents that handles plumbing work in AI - like agent routing and orchestration, guardrails, zero-code logs and t…

Rust 4,641 261 Updated Dec 20, 2025

🐸 a database tool for the terminal

Rust 4,614 83 Updated Dec 17, 2025

GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…

Rust 3,472 97 Updated Nov 16, 2025

Interactive ASCII globe generator

Rust 676 31 Updated Apr 8, 2024