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

A tool that facilitates building OCI images.

Go 8,892 904 Updated Jun 22, 2026

An interpreter for the Untyped Lambda Calculus written in Go.

Go 2 Updated Jun 13, 2026

A debugger for Linux

Rust 1,682 36 Updated Jun 9, 2026

Simple and flexible tool for managing secrets

Go 22,167 1,040 Updated Jun 22, 2026

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

Go 29,458 4,239 Updated Jun 22, 2026

Rust implementation of Tailscale (preview, experimental)

Rust 1,029 44 Updated Jun 18, 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…

25,575 5,059 Updated Jun 20, 2025

Beginner, advanced, expert level Rust training material

Rust 14,628 1,146 Updated Jun 11, 2026

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

Go 589 300 Updated Jun 22, 2026

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

Rust 5,544 185 Updated Jun 22, 2026

A small form factor OpenShift/Kubernetes optimized for edge computing

Go 831 232 Updated Jun 22, 2026

A 5-20x faster experimental Homebrew alternative

Rust 7,441 171 Updated Jun 12, 2026

a prettier way to inspect network connections

Go 3,463 55 Updated Jun 11, 2026

The OpenShift Command Line, part of OKD

Go 240 451 Updated Jun 22, 2026

The open source coding agent.

TypeScript 177,305 21,654 Updated Jun 22, 2026

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

Rust 1,871 53 Updated Apr 14, 2026

Diff & Review

Rust 325 8 Updated Jun 22, 2026

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

TeX 80 7 Updated May 26, 2026

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

Go 25,338 1,383 Updated Jun 22, 2026

Session attach/detach for the terminal

Zig 1,665 97 Updated Jun 20, 2026

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

Rust 427 12 Updated Apr 20, 2026

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

C 393 17 Updated Jun 16, 2026

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

Rust 4,745 57 Updated Nov 24, 2024

Cyberpandino cluster

TypeScript 478 44 Updated Mar 10, 2026

Little helper to run CNCF's k3s in Docker

Go 6,465 533 Updated Jun 12, 2026

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

Rust 2,269 161 Updated Jun 22, 2026

Fil-C: completely compatible memory safety for C and C++

3,357 66 Updated Jun 22, 2026

Quickly find bottlenecks in Rust - one profiler for CPU, time, memory, and async code.

Rust 1,550 45 Updated Jun 21, 2026

Ongoing Storj v3 development. Decentralized cloud object storage that is affordable, easy to use, private, and secure.

Go 3,260 427 Updated Jun 20, 2026

PCB tooling by Diode Computers, Inc.

Rust 339 52 Updated Jun 22, 2026
Next