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

An interpreter for the Untyped Lambda Calculus written in Go.

Go 2 Updated Jun 13, 2026

A debugger for Linux

Rust 1,681 36 Updated Jun 9, 2026

Simple and flexible tool for managing secrets

Go 22,111 1,038 Updated Jun 16, 2026

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

Go 29,435 4,220 Updated Jun 16, 2026

Rust implementation of Tailscale (preview, experimental)

Rust 1,023 44 Updated Jun 16, 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,448 5,025 Updated Jun 20, 2025

Beginner, advanced, expert level Rust training material

Rust 14,598 1,142 Updated Jun 11, 2026

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

Go 588 300 Updated Jun 16, 2026

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

Rust 5,482 185 Updated Jun 16, 2026

A small form factor OpenShift/Kubernetes optimized for edge computing

Go 829 231 Updated Jun 16, 2026

A 5-20x faster experimental Homebrew alternative

Rust 7,422 173 Updated Jun 12, 2026

a prettier way to inspect network connections

Go 3,461 55 Updated Jun 11, 2026

The OpenShift Command Line, part of OKD

Go 240 448 Updated Jun 15, 2026

The open source coding agent.

TypeScript 175,294 21,269 Updated Jun 17, 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 323 8 Updated Jun 16, 2026

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

TeX 79 7 Updated May 26, 2026

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

Go 25,310 1,383 Updated Jun 17, 2026

Session attach/detach for the terminal

Zig 1,613 92 Updated Jun 13, 2026

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

Rust 425 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 392 17 Updated Jun 16, 2026

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

Rust 4,747 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,462 535 Updated Jun 12, 2026

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

Rust 2,267 160 Updated Jun 16, 2026

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

3,345 67 Updated Jun 16, 2026

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

Rust 1,542 45 Updated Jun 15, 2026

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

Go 3,259 427 Updated Jun 16, 2026

PCB tooling by Diode Computers, Inc.

Rust 328 51 Updated Jun 16, 2026

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

Elixir 1,139 124 Updated Jun 16, 2026
Next