Learning operating system development using Linux kernel and Raspberry Pi

Opendesk Design/CNC files

Virtual whiteboard for sketching hand-drawn like diagrams

Public snapshots of "ACSL by Example"

A PyQT based GraphViz builder/renderer

Embed Neovim in Chrome, Firefox & others.

收集各大AndroidTV的apk应用，可免费看vip和国外电影电视。如大家有也可以贡献一下。

The seL4 microkernel

Simple command line tools to help using Linux spidev devices

Support for Armbian in Amlogic, Rockchip and Allwinner boxes. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, s905l, rk3588, rk3568, rk3399, rk3328, h6, etc.

Parsing ELF and DWARF in Python

EMBO - Scope for only $6. Embedded instruments: Oscilloscope, Logic Analyzer, Voltmeter, Counter, PWM and Signal Generator on STM32 MCUs (F1, F3, L4, G4 ....). PC app for Windows, Ubuntu and macOS.…

CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.

helloworld 开发者社区开源的一个轻量级，强大的 html 一键转 md 工具，支持多平台文章一键转换，并保存下载到本地。

16-bit CPU for Excel, and related files

Orange Pi build for H2+, H3, H5, H6, H616, RK3328, RK3399 and RK3588(s)

Open source Farm management Information System (FMIS) - Connecting farms to the world

Plugin to support the Node-RED implementation for microcontrollers

A set of python modules for working with AUTOSAR XML files

Visualize embedded device data.

Gui Inspect tool for Windows

Windows GUI Automation with Python (based on text properties)

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

A whetstone benchmark for the hifive riscv board

📚 Learn to write an embedded OS in Rust 🦀

Device Tree Compiler

JavaScript interface to CMSIS-DAP

Fully web based serial terminal using Serial Web API - Access your serial / USB-Serial device directly from the browser!