Lists (3)
Starred repositories
open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Compute various size metrics for a Git repository, flagging those that might cause problems
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.
A project dedicated to developing a hardware Integrated Circuit (IC) for a Spike Neural Network (SNN), powered by the RTL code generated by ChatGPT-4 with advanced optimizations.
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…
The CompCert formally-verified C compiler
書籍『［作って学ぶ］ブラウザのしくみ──HTTP、HTML、CSS、JavaScriptの裏側』で解説されているソースコードです。
A template project of creating a MLIR dialect wrapped in Rust
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
The Newton OS in a Mac OS X framework.
The research UEFI hypervisor that supports booting an operating system.
linux-kernel-exploits Linux平台提权漏洞集合
A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).
x86 Real-Mode MS-DOS Emulator using Windows Hypervisor Platform
eBPF implementation that runs on top of Windows