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 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

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

Go 572 281 Updated Feb 18, 2026

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

Rust 2,193 79 Updated Feb 18, 2026

A small form factor OpenShift/Kubernetes optimized for edge computing

Go 813 222 Updated Feb 18, 2026

A 5-20x faster experimental Homebrew alternative

Rust 6,382 143 Updated Feb 17, 2026

a prettier way to inspect network connections

Go 3,098 48 Updated Jan 1, 2026

The OpenShift Command Line, part of OKD

Go 232 431 Updated Feb 13, 2026

The open source coding agent.

TypeScript 106,420 10,413 Updated Feb 18, 2026

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

Rust 1,836 53 Updated Feb 4, 2026

A different viewer

Rust 270 4 Updated Feb 15, 2026

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

TeX 77 7 Updated Dec 21, 2025

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

Go 24,717 1,314 Updated Feb 18, 2026

Session persistence for terminal processes

Zig 818 27 Updated Feb 17, 2026

🐘 tsql β€” A modern PostgreSQL manager TUI

Rust 367 5 Updated Dec 18, 2025

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

C 364 16 Updated Feb 17, 2026

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

Rust 4,742 57 Updated Nov 24, 2024

Cyberpandino cluster

TypeScript 419 34 Updated Jan 12, 2026

Little helper to run CNCF's k3s in Docker

Go 6,258 521 Updated Feb 5, 2026

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

Rust 2,181 144 Updated Feb 18, 2026

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

2,953 59 Updated Feb 11, 2026

Rust Performance Profiler & Channels Monitoring Toolkit (TUI, MCP)

Rust 1,325 32 Updated Feb 18, 2026

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

Go 3,228 427 Updated Feb 18, 2026

PCB tooling by Diode Computers, Inc.

Rust 180 23 Updated Feb 18, 2026

Fast, pipelined, resilient Redis driver for Elixir. πŸ›

Elixir 1,132 130 Updated Nov 23, 2025

Elixir is a dynamic, functional language for building scalable and maintainable applications

Elixir 26,371 3,483 Updated Feb 18, 2026

Veecle Operating System for system development.

Rust 115 8 Updated Feb 18, 2026

eBPF-based Security Observability and Runtime Enforcement

C 4,417 506 Updated Feb 18, 2026

The debugger for microservices

Go 1,767 103 Updated Jun 9, 2022

eBPF-based Networking, Security, and Observability

Go 23,717 3,611 Updated Feb 18, 2026

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

Rust 3,808 268 Updated Feb 18, 2026

A model-checking tool for systems of communicating automata.

OCaml 2 Updated Aug 21, 2025
Next