☆14Sep 25, 2026Updated last month
Alternatives and similar repositories for arm-gic
Users that are interested in arm-gic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Read-only mirror of Rusted Firmware-A☆48Updated this week
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated last year
- i3wm setup☆11May 11, 2025Updated last year
- SocketCAN for Qt☆17Sep 16, 2016Updated 10 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Formally Verified X.509 Certificate Validation☆17Nov 19, 2025Updated 11 months ago
- An example of combining various libraries for aarch64 OS development in Rust.☆22Updated this week
- CS510 Advanced Topics in Concurrency Project☆16Jun 4, 2020Updated 6 years ago
- This repository contains the electronic parts of the Windbird wind sensor.☆14Aug 4, 2023Updated 3 years ago
- ☆19Sep 18, 2021Updated 5 years ago
- Post-processing system that provides probabilistic forecasts at point scale.☆12Nov 24, 2025Updated 11 months ago
- GeoPngDB is a tiled geospatial data format capable of representing global-scale data sets at high resolution in a format natively support…☆19Aug 25, 2021Updated 5 years ago
- An operation-log based approach for data replication.☆64Apr 27, 2023Updated 3 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- racket llvm C-API bindings☆17Feb 7, 2026Updated 8 months ago
- ☆13Oct 8, 2019Updated 7 years ago
- Repository for the Tracker Relay using LoRa☆19Aug 4, 2021Updated 5 years ago
- Educational microkernel in Rust - build a real bootable kernel for AArch64 QEMU virt. 5-part blog series from boot to virtual memory.☆27Apr 9, 2026Updated 6 months ago
- ☆20Jul 3, 2026Updated 3 months ago
- Entropy Source and DRNG Manager☆15Aug 21, 2026Updated 2 months ago
- ☆12Mar 9, 2025Updated last year
- Freenet development standard library☆20Oct 9, 2026Updated 2 weeks ago
- Startup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.☆31Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jul 25, 2017Updated 9 years ago
- Reading and writing data types of arbitrary bit length that might not be byte-aligned☆21May 21, 2025Updated last year
- A Rust library crate with types for safe MMIO device access☆42Updated this week
- An Ada implementation of James Munns' BBQueue☆12Oct 17, 2025Updated last year
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- Find deadlocks in Rust code with Petri net model checking☆61Sep 22, 2026Updated last month
- Mock registers of embedded targets on host machines in Rust☆12Oct 14, 2024Updated 2 years ago
- ☆12Updated this week
- A reimplementation of the Fourmilab/John Walker random number test program ent with several improvements.☆15Mar 8, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A json-like data structure library in Ada☆13Jun 5, 2026Updated 4 months ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 years ago
- Rust PACs for the Renesas RA series devices☆24Apr 20, 2025Updated last year
- ☆27Jun 6, 2023Updated 3 years ago
- A book on MIPS assembly programming using simulators (MARS, SPIM, QtSpim) targeted at college students.☆13Sep 29, 2026Updated 3 weeks ago
- A simple note taking plugin for neovim☆17Oct 15, 2024Updated 2 years ago
- Compile ordinary code to eBPF without shaping it around verifier constraints.☆25Sep 24, 2026Updated last month