Lists (2)
Starred repositories
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Production-grade client-side tracing, profiling, and analysis for complex software systems.
A Python library for quantum control experiments.
宇宙科学技術連合講演会予稿集原稿用Typstテンプレート
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
Main game repository for Beyond All Reason.
Development Containers: Use a container as a full-featured development environment.
Rudimentary support for devcontainer in emacs
A Copilot backend for generating Bluespec code suitable for FPGAs.
A fully open-source humanoid arm for physical AI research and deployment in contact-rich environments.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Arduino Core based on Zephyr+llext
Waydroid uses a container-based approach to boot a full Android system on a regular GNU/Linux system like Ubuntu.
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…
Leveraging WebAssembly, Ocre supports OCI-like application containers on Zephyr and Linux in a footprint up to 2,000x lighter than traditional Linux-based container runtimes such as Docker and Podman
Support for Zephyr applications written in Rust
chipStar is a tool for compiling and running HIP/CUDA on SPIR-V via OpenCL or Level Zero APIs.
An abstraction layer across RTOS, baremetal, and user-space Linux environments
Help keeping ~/.config/emacs clean
A C++ framework for programming real-time applications
Python with braces. Because python is awesome, but whitespace is awful.