a Zettelkasten note taking plugin

Firmware Analysis Tool

OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)

Wasabi is toolkit designed to trigger and isolate retry bugs by combining static program analysis, large language models (LLMs), fault injection, and unit testing.

A feedback-driven fault injection tool for reproducing distributed systems failures

Microkernel-based system for heterogeneous manycores

Verified Wasm runtime

A fast and secure runtime for WebAssembly

SFI verifier of Wasm binaries

Verified Rust for low-level systems code

A clickwheel iPod emulator (WIP)

a tool for reinterpreting ELF executables and shared libraries

Home of OpenVMM and OpenHCL.

VM firmware pkg for Project Mu

An SDK for PS5 payloads that uses dynamic linking

2023年未踏「RISC-Vベースのプロセッサを自動生成するシステムの開発」(メインリポジトリ)

edgy-group.nvim add groups to edgy.nvim

High performance UI layout library in C.

Plugin for running shell commands in terminal buffers or tmux panes.

Neovim plugin for displaying Git blame information in vim-fugitive style with some enhancements.

iPod Classic and Nano 3/4/5G bootrom exploit

Git Graph plugin for neovim

Intel(R) Firmware Support Package (FSP)

Like a fitness tracker for your coding sessions

A very fast, powerful, extensible and asynchronous Neovim HTTP client written in Lua.

A map to your filesystem

Hyenas - World's First PSN Emulator!