Skip to content
View alarmfox's full-sized avatar
🎯
Focusing
🎯
Focusing
  • Computer Engineer @ UNINA & Mentor @ Cisco DTLab
  • Naples
  • 06:37 (UTC +02:00)

Block or report alarmfox

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

Material Design 3 file browser for Android with SFTP, FTP, SMB, WebDAV support

Kotlin 44 1 Updated Jun 12, 2026

Run your GitHub Actions locally 🚀

Go 70,928 1,968 Updated Jul 1, 2026

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

C++ 8,273 584 Updated Jul 3, 2026

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.

QML 7,127 430 Updated Jul 3, 2026

A lightweight Tree-sitter parser manager for Neovim.

Tree-sitter Query 804 36 Updated Jun 30, 2026

Visualize debugging sessions in neovim

Lua 951 33 Updated Jun 24, 2026

A Tiny Linux-Compatible Kernel

C 3,107 141 Updated Jun 27, 2026

eBPF implementation that runs on top of Windows

C 3,512 289 Updated Jul 3, 2026

The seL4 microkernel

C 5,610 781 Updated Jul 2, 2026
Rust 163 96 Updated Jun 29, 2026

Application to manage a local gym

Go 2 Updated Jun 12, 2026

The world’s fastest framework for building websites.

Go 88,826 8,282 Updated Jun 29, 2026

A Linux malware detection program

C 2 Updated Jan 6, 2026

An extremely fast Python package and project manager, written in Rust.

Rust 87,006 3,270 Updated Jul 3, 2026

A CLI tool for interacting with SEV-SNP guest environment

Rust 100 39 Updated Jun 23, 2026

A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)

Rust 56 1 Updated May 15, 2026

RISC-V soft-SoC extensible plaftorm for Xilinx FPGAs from University of Naples Federico II.

SystemVerilog 18 18 Updated Apr 26, 2026

shadowfax is a CoVE specification compliant TSM-driver written in rust. It is intended to provide the basic foundations for RISC-V Application-class CPUs Trusted Computing.

C 5 1 Updated Apr 29, 2026

Bear is a tool that generates a compilation database for clang tooling.

Rust 6,375 366 Updated Jul 2, 2026

Go packages built on go-tpm providing a high-level API for using TPMs

C 304 110 Updated Jun 26, 2026

Remote development in Neovim 🔥

Lua 1,316 60 Updated Aug 22, 2025

Vim-fork focused on extensibility and usability

Vim Script 100,866 6,944 Updated Jul 3, 2026

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

Rust 212 24 Updated Jul 3, 2026

go-tdx-guest offers a library to wrap the /dev/tdx-guest device in Linux, as well as a library for attestation verification of fundamental components of an attestation quote.

Go 93 40 Updated Jul 1, 2026
JavaScript 1 Updated Apr 12, 2024

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

Lua 4,090 159 Updated Jul 3, 2026

Self-hosted Docker native tunneling to localhost. Expose local docker containers to the public Internet via a simple docker compose interface.

Shell 1,726 87 Updated Mar 28, 2025

A type-1 hypervisor written in Rust and run on RISC-V machine with H extension.

Rust 3 1 Updated Dec 22, 2024
Next