#
Starred repositories
GPU programming related news and material links
Tenstorrent Blackhole P100/P150 card RISC-V Linux demo 🐧
a Lean4 framework for the modeling and refinement of stateful systems
Introduction to Machine Learning Systems
ESP32 Web + LoRa Demo with OTA & Multi-Device Support. This project demonstrates a web interface for ESP32 devices with LoRa communication, Over-the-Air (OTA) updates, and multi-device messaging ca…
Sample LoRaWAN code for HELTEC WiFi LoRa V2 and V3 boards using PlatformIO
Arduino library for Heltec ESP32 (or ESP32+LoRa) based boards
Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards
Enable LoRaWAN communications on your Raspberry Pi Pico or any RP2040 based board. 📡
Enable LoRaWAN communications on your Raspberry Pi Pico or any RP2040 based board. 📡
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
Generic x86_64 PCIe latency measurement module for the Linux kernel
The Robot Operating System, is a meta operating system for robots.
🪁 A curated list of awesome projects and resources for the Zephyr RTOS project.
USB3 PIPE interface for Xilinx 7-Series
notes and example codes on using rdtsc(p) instructions for benchmarking
A stream-based runtime-verification framework for generating hard real-time C code.
The Schedulability Test Collection And Toolkit
Comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources
Repo for Getting Started With ACPI
SYCL Academy, a set of learning materials for SYCL heterogeneous programming
Scriptable tool to read and write UEFI variables from EFI shell. View, save, edit and restore hidden UEFI (BIOS) Setup settings faster than with the OEM menu forms.
Aptio V UEFI Editor: an alternative to AMIBCP