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

Pulumi - Infrastructure as Code in any programming language 🚀

Go 24,417 1,271 Updated Dec 26, 2025

Session persistence for terminal processes

Zig 623 13 Updated Dec 23, 2025

🐘 tsql — A modern PostgreSQL manager TUI

Rust 340 4 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 273 14 Updated Dec 15, 2025

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

Rust 4,741 56 Updated Nov 24, 2024

Cyberpandino cluster

TypeScript 321 30 Updated Dec 14, 2025

Little helper to run CNCF's k3s in Docker

Go 6,180 512 Updated Dec 16, 2025

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

Rust 2,126 134 Updated Dec 23, 2025

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

2,828 57 Updated Dec 26, 2025

Simple async Rust profiler with memory and data-flow insights - quickly find and debug performance bottlenecks.

Rust 1,253 24 Updated Dec 25, 2025

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

Go 3,210 422 Updated Dec 23, 2025

PCB tooling by Diode Computers, Inc.

Rust 148 14 Updated Dec 23, 2025

Fast, pipelined, resilient Redis driver for Elixir. 🛍

Elixir 1,129 130 Updated Nov 23, 2025

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

Elixir 26,200 3,483 Updated Dec 26, 2025

Veecle Operating System for system development.

Rust 115 8 Updated Dec 22, 2025

eBPF-based Security Observability and Runtime Enforcement

C 4,334 487 Updated Dec 26, 2025

The debugger for microservices

Go 1,770 103 Updated Jun 9, 2022

eBPF-based Networking, Security, and Observability

Go 23,147 3,503 Updated Dec 26, 2025

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

Rust 3,676 244 Updated Dec 24, 2025

A model-checking tool for systems of communicating automata.

OCaml 2 Updated Aug 21, 2025

A peer-to-peer file-transfer tool in OCaml

OCaml 145 4 Updated May 12, 2025

Talos Linux is a modern Linux distribution built for Kubernetes.

Go 9,505 761 Updated Dec 26, 2025

Proof of work algorithm based on random code execution

C++ 1,563 336 Updated Jul 2, 2025

Gonzo! The Go based TUI log analysis tool

Go 2,300 69 Updated Dec 15, 2025

Crash your app in style (Golang)

Go 3,715 103 Updated Mar 13, 2025

Distributed PostgreSQL as an extension

C 12,146 742 Updated Dec 26, 2025

CortexBrain is an ambitious open-source project designed to build an intelligent, lightweight, and highly efficient monitoring platform for distributed cloud and hybrid (cloud–edge) workflows

Rust 68 7 Updated Dec 21, 2025

JetKVM - Control any computer remotely

C 4,135 269 Updated Dec 22, 2025

Embeddable, replicated and fault-tolerant SQL engine.

C 4,253 236 Updated Dec 12, 2025

The personal finance app for everyone

Ruby 53,908 4,898 Updated Jul 24, 2025
Next