Thanks to visit codestin.com
Credit goes to Github.com

Skip to content
View FedericoCeratto's full-sized avatar

Organizations

@nim-lang @freedombox @python-cmd2

Block or report FedericoCeratto

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

BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation

C 25 1 Updated Mar 28, 2024

A collection of postmortems. Sorry for the delay in merging PRs!

11,858 476 Updated Jan 15, 2026

PJON (Padded Jittering Operative Network) is an experimental, arduino-compatible, multi-master, multi-media network protocol.

C++ 2,790 246 Updated Nov 21, 2025

u2f token firmware for stm32f103 and efm32hg boards

C 373 60 Updated Jul 23, 2023

Wayland screen locker focused on customizability

Rust 50 2 Updated Sep 27, 2025

Free implementation of Play Services

Java 11,995 2,498 Updated Jan 16, 2026

The VESC BMS Firmware

C 281 124 Updated Jan 26, 2025

The VESC motor control firmware

C 2,900 1,678 Updated Jan 20, 2026

GPL version of Javascript Gantt Chart

JavaScript 1,742 353 Updated Dec 15, 2025

The open source repository for Electricity Maps data parsers that powers the world's most comprehensive electricity data platform

Python 3,936 1,030 Updated Jan 21, 2026

🕵️‍♂️ TUI for sniffing network traffic using eBPF on Linux

Rust 2,324 66 Updated Jan 11, 2026

A real-time network connection monitoring tool built with Rust and GTK4, displaying active connections with live I/O statistics in a modern graphical interface.

Rust 270 5 Updated Dec 13, 2025

GPL Electronic Design Automation

C 247 41 Updated Jan 20, 2026

Implements JWK,JWS,JWE specifications using python-cryptography

Python 473 127 Updated Dec 9, 2025

A low-cost nrf52 device.

408 29 Updated Nov 19, 2025

Smart energy meter capable of monitoring up to 17 channels. Supports MQTT, REST API, Modbus TCP, InfluxDB, AWS IoT Core. Friendly UI and fully open source (PCB, schematics, components, source code)

C++ 198 26 Updated Jan 14, 2026

μLA: Micro Logic Analyzer for RP2040

Rust 906 71 Updated Feb 10, 2025

802.11 Attack Tool

Rust 1,755 108 Updated Jan 22, 2026

A Raspberry Pi based home alarm system.

Python 258 42 Updated Nov 23, 2022

The most intuitive Static Site CMS designed for SEO-optimized and privacy-focused websites.

HTML 7,047 457 Updated Jan 21, 2026

Split ortholinear custom replacement keyboard with TrackPoint for laptops

Makefile 297 5 Updated Feb 20, 2023

Mini OS emulator for Digispark (an Attiny85 based microcontroller).

C++ 66 9 Updated Jan 20, 2022

USB HID Ambient Light Sensor (ALS) implementation using Digispark Attiny85-based microcontroller development board

C 11 5 Updated Dec 2, 2022

A collection of small projects for the Digispark

C 22 6 Updated Mar 26, 2016

Terminal dashboards for Python

Python 519 35 Updated May 14, 2024

A memory safe implementation of sudo and su.

Rust 4,172 144 Updated Jan 15, 2026

A port of i3bar for wlroots-based compositors

Rust 80 12 Updated May 19, 2025

A simple status bar for hyprland, niri and wayfire, written in rust using iced-rs

Rust 64 3 Updated Nov 19, 2025
Next