Stars
Repository for the book "Reignition: Nick Land's Writings (2011-)"
Collection of articles on good practices and tools to improve C code quality
An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
Utility to facilitate the building and installation of EFI secure boot kernels under Gentoo Linux.
eix can access Gentoo portage ebuild information and description very quickly (using a local cache). It can also be used to access information on installed packages, local settings, and local and e…
Gentoo overlay for the Raspberry Pi 3 and 4
Automated weekly build of the default branch 64-bit bcmrpi3_defconfig Linux kernel for the Raspberry Pi 3 model B and B+
An open optimized software library project for the ARM® Architecture
Bootable 64-bit Gentoo image for the Raspberry Pi4B, 3B & 3B+, with Linux 5.4, OpenRC, Xfce4, VC4/V3D, camera and h/w codec support, weekly-autobuild binhost
Raspberry Pi ARM based bare metal examples
Script to automate the installation of the GNAT Community Installers
Cross Compiling NixOS to ARM as a replacement for Yocto
Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).
NBAda - An Ada library of lock-free data structures and algorithms.
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Optimized C library for EC operations on curve secp256k1