https://git.savannah.gnu.org/git/grub.git
Browse cluster: Lean4 Formal Verification & Cryptography →GRUB is a bootloader project that includes embedded cryptographic and ASN.1 libraries. It incorporates Libgcrypt, a general-purpose cryptographic library based on code from GnuPG and distributed under the LGPL, which depends on libgpg-error and includes optimized assembly routines for various processor architectures including DEC Alpha, HP PA-RISC, and MIPS3. The project also includes Libtasn1, a small ASN.1 library for parsing and generating ASN.1 structures, distributed under the LGPL for the C library and GPL for tools and tests. Both libraries are built using standard GNU autotools (Autoconf, Automake, Libtool) and contain processor-specific optimizations documented in architecture-specific README files.