🐬 A collection of awesome resources for the Flipper Zero device.

YAML Specification

A stream-based runtime-verification framework for generating hard real-time C code.

The symbolic execution engine powering the K Framework

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Droidcam that actually works

A curated list of amazingly awesome open-source sysadmin resources.

A list of Free Software network services and web applications which can be hosted on your own servers

Moved to https://codeberg.org/ISSOtm/gb-bootroms

Template for UEFI runtime drivers written in Rust with serial logging and debugging support.

🍸Vesper - HTTP Framework for Bash Shell

A powerful little TUI framework 🏗

A collection of resources for learning type theory and type theory adjacent fields.

Differential dataflow for mere mortals