Stars
Lightweight coding agent that runs in your terminal
Working example of a yocto setup without unnecessary complications
Browser plugin for Linux to SSO on Microsoft Entra ID using a locally running microsoft identity broker (Intune).
A list of remote-friendly or full-remote companies that targets Italian talents.
NVIDIA Linux open GPU kernel module source
A daemon that interacts between GnuPG as smartcard daemon and SGX keystore.
dbus-service to serve secret-service api with pass backend
A fast usermode x86 and x86-64 emulator for Arm64 Linux
moved to https://github.com/flatcar/scripts/tree/main/sdk_container/src/third_party - package build scripts for Flatcar Container Linux, from upstream Gentoo
Wardley Maps Battle Camp - workshop, rules, cards, materials
A command line tool to run Jenkinsfile as a function
Learn Go with test-driven development
It's to add a sample driver for iommu aware mdev testing. Besides, there are some refactor to existing vfio-pci driver code.
mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems
A Crash Course in Neural Networks With Keras
This is the user space slab memory allocator, umem, first available in Solaris 9.
The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and …
Use Kbuild build system for your own applications. This is a small kbuild template, that you can easily adapt to your own needs.
Python-based continuous integration testing framework; your pull requests are more than welcome!
P2P DNS with content key, crypto key and PKI support. DynDNS alternative.