Skip to content
View boozec's full-sized avatar

Highlights

  • Pro

Organizations

@UNICT-DMI

Block or report boozec

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 is supported. 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

Starred repositories

Showing results

Fast, disk space efficient package manager

Rust 35,878 1,601 Updated Jul 26, 2026

A high-performance, persisted Key-Value storage based on C++20 and io_uring

C++ 30 2 Updated Jul 19, 2026

Open-source vacuum robot cleaner

Python 6,513 280 Updated Jul 26, 2026

Fast, modern traceroute with real-time TUI, per-hop stats, ASN/geo lookup, ECMP detection, and MPLS label parsing. A better mtr.

Rust 1,351 83 Updated Jul 23, 2026

A tool that facilitates building OCI images.

Go 8,946 917 Updated Jul 25, 2026

An interpreter for the Untyped Lambda Calculus written in Go.

Go 2 Updated Jul 22, 2026

A debugger for Linux

Rust 1,704 36 Updated Jul 9, 2026

Simple and flexible tool for managing secrets

Go 22,599 1,060 Updated Jul 23, 2026

Tiny, Fast, and Deployable anywhere β€” automate the mundane, unleash your creativity

Go 29,729 4,344 Updated Jul 23, 2026

Rust implementation of Tailscale (preview, experimental)

Rust 1,073 48 Updated Jul 25, 2026

Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode company tags. Updated as of 20…

27,289 5,339 Updated Jun 26, 2026

Beginner, advanced, expert level Rust training material

Rust 14,746 1,157 Updated Jun 25, 2026

JFrog CLI is a client that provides a simple interface that automates access to the JFrog products.

Go 593 304 Updated Jul 24, 2026

Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows

Rust 6,039 216 Updated Jul 26, 2026

A small form factor OpenShift/Kubernetes optimized for edge computing

Go 835 231 Updated Jul 25, 2026

A 5-20x faster experimental Homebrew alternative

Rust 7,493 175 Updated Jul 24, 2026

a prettier way to inspect network connections

Go 3,469 55 Updated Jun 11, 2026

The OpenShift Command Line, part of OKD

Go 244 459 Updated Jul 23, 2026

The open source coding agent.

TypeScript 189,872 24,068 Updated Jul 26, 2026

Native cross-platform full feature terminal-based sequence editor for git interactive rebase.

Rust 1,877 54 Updated Apr 14, 2026

Your not yet complete terminal code review tool

Rust 334 8 Updated Jul 23, 2026

A chronologically sorted list of influential papers on compiler optimization, from the seminal works of 1952 through the advanced techniques of 1994

TeX 82 7 Updated May 26, 2026

Pulumi - Infrastructure as Code in any programming language πŸš€

Go 25,484 1,405 Updated Jul 25, 2026

Session attach/detach for the terminal

Zig 1,937 125 Updated Jul 26, 2026

🐘 tsql β€” A modern PostgreSQL and MongoDB manager TUI

Rust 436 13 Updated Jul 14, 2026

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

C 400 17 Updated Jul 16, 2026

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

Rust 4,745 58 Updated Nov 24, 2024

Cyberpandino cluster

TypeScript 505 44 Updated Mar 10, 2026

Little helper to run CNCF's k3s in Docker

Go 6,502 534 Updated Jul 17, 2026

Stream your Postgres data anywhere in real-time. Simple Rust building blocks for change data capture (CDC) pipelines.

Rust 2,304 171 Updated Jul 24, 2026
Next