- All languages
- Ada
- Assembly
- Awk
- Batchfile
- C
- C#
- C++
- CSS
- Crystal
- Cython
- D
- Dart
- Dockerfile
- Elixir
- G-code
- Go
- HCL
- HTML
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Nim
- Nunjucks
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- QML
- Rocq Prover
- Ruby
- Rust
- Shell
- Swift
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
Starred repositories
BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
A collection of postmortems. Sorry for the delay in merging PRs!
PJON (Padded Jittering Operative Network) is an experimental, arduino-compatible, multi-master, multi-media network protocol.
u2f token firmware for stm32f103 and efm32hg boards
Wayland screen locker focused on customizability
The open source repository for Electricity Maps data parsers that powers the world's most comprehensive electricity data platform
🕵️♂️ TUI for sniffing network traffic using eBPF on Linux
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.
Implements JWK,JWS,JWE specifications using python-cryptography
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)
The most intuitive Static Site CMS designed for SEO-optimized and privacy-focused websites.
Split ortholinear custom replacement keyboard with TrackPoint for laptops
Mini OS emulator for Digispark (an Attiny85 based microcontroller).
USB HID Ambient Light Sensor (ALS) implementation using Digispark Attiny85-based microcontroller development board
A collection of small projects for the Digispark
A memory safe implementation of sudo and su.
A port of i3bar for wlroots-based compositors
A simple status bar for hyprland, niri and wayfire, written in rust using iced-rs