Skip to content
View silranucci's full-sized avatar
  • Milan

Block or report silranucci

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

Starred repositories

Showing results

A terminal based project management solution

Rust 48 1 Updated Nov 27, 2025

Generates VEX documents by parsing the Kubernetes SecurityContext configuration

Go 13 Updated Nov 27, 2025

🐟 鯰: Programmable fuzzy scheduler for testing distributed systems

Go 494 42 Updated Aug 24, 2018

A model checker for implementing distributed systems.

Rust 1,736 60 Updated Jul 27, 2025

A curated list to learn about distributed systems

11,451 1,523 Updated Jan 10, 2025

An interactive web UI for gRPC, along the lines of postman

Go 5,760 414 Updated Nov 17, 2025

Design by contract style assertions for Rust

Rust 251 15 Updated Jan 4, 2021

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

Rust 3,532 106 Updated Oct 25, 2024

Tesseract Open Source OCR Engine (main repository)

C++ 71,117 10,400 Updated Oct 13, 2025

🤖 An elegant Telegram bots framework for Rust

Rust 3,867 275 Updated Nov 24, 2025

A curated list of Rust code and resources.

Rust 54,005 3,089 Updated Nov 25, 2025

Liquid Types implementation for Rust

Rust 30 Updated Sep 30, 2022

Refinement Types for Rust

Rust 799 28 Updated Nov 25, 2025

Small examples that demonstrate how flux works

Rust 4 1 Updated Nov 25, 2025
Rust 8 Updated Feb 16, 2021

Build Postgres Extensions with Rust!

Rust 4,262 297 Updated Nov 25, 2025

An alternative TUI for gdb

Rust 434 8 Updated Mar 9, 2025

Awesome books, tutorials, courses, and resources for Tokio. ⚡

Rust 129 6 Updated Oct 11, 2023

Rust-based Command Line Tool for WCH MCU USB-ISP Programming

Rust 261 44 Updated Jan 16, 2025

Hardware details and information to build an open firmware for LED badge

C 1,553 28 Updated Aug 31, 2025

Educational blog posts for Rust beginners

Rust 8,188 423 Updated Feb 17, 2025

Incomplete Redis client and server implementation using Tokio - for learning purposes only

Rust 4,489 536 Updated Aug 3, 2024

Code for Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)

Rust 1,894 299 Updated Aug 6, 2024

🦀 Pack of 50+ Ferris pictures and elements will help you to build your own design for anything related to Rust Programming Language: presentations, README files, posts in blogs or social media, cou…

Rust 183 8 Updated Oct 5, 2025

A vulnerability scanner for container images and filesystems

Go 11,061 710 Updated Nov 27, 2025

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

Rust 6,759 616 Updated Nov 24, 2025

Writing an OS in Rust

HTML 17,057 1,182 Updated Oct 7, 2025

A native gRPC client & server implementation with async/await support.

Rust 11,576 1,154 Updated Nov 27, 2025

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Rust 1,400 65 Updated Sep 2, 2025

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

Lua 2,695 116 Updated Nov 26, 2025
Next