A Jekyll plugin that shows post's git revision history.

⌚ Get the "last updated" time for each Sphinx page from Git

Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

A feature-rich command-line audio/video downloader

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

Slides and lab instructions for the mastering MicroBlaze session

xv6 OS

Xv6 for RISC-V

A clean customizable documentation theme for Sphinx

Curriculum for a university course to teach chip design using open source EDA tools

IOCCC International Obfuscated C code contest entries

Hobbyist ARM64 operating system /w microkernel design. Includes a kernel written in C and user land apps in C++.

The Open SIMH simulators package

Restoration of 1st Edition UNIX kernel sources from pdf document.

Easily embed asciinema videos into Sphinx documentation

🪄 Spin up ready-to-code, disposable dev environments on your own servers. Self-hosted alternative to Gitpod and Github Codespaces.

C ve Sistem Programcıları Derneği Kurs Notları (Yazanlar: Kaan Aslan & Sebahat Ersoy)

Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.

DevOps for Embedded

The seL4 microkernel

A digital logic designer and circuit simulator.

LTeX: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others

Display and control your Android device

Modular visual interface for GDB in Python

Lightweight printf library optimized for embedded systems

All the UNIX and UNIX-Like: Linux, BSD, macOS, Illumos, 9front, and more.

System monitoring dashboard for terminal

Docker image generation for Xilinx Petalinux Tools

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!