Arm Architecture
3 projects
Showing 3 of 3 projects
pi-genShell
A tool for creating custom Raspberry Pi OS images and the official Raspberry Pi OS images.
#debian-based#docker-build#arm-architecture
Stars3.2k
Forks1.9k
Last commit16 days ago
CircleC
A C++ bare metal programming environment for Raspberry Pi, providing libraries and drivers for hardware control without an OS.
#embedded-systems#bare-metal#tcp-ip
Stars2.2k
Forks292
Last commit7 days ago
SailSail
A language for formally specifying instruction-set architecture (ISA) semantics with tooling for emulators, documentation, and verification.
#isa-specification#theorem-proving#arm-architecture
Stars868
Forks154
Last commit8 days ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.