A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI

The fuzzing for hardware

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

A CPU fuzzer designed for diverse test case generation and execution.

NPUEval is an LLM evaluation dataset written specifically to target AIE kernel code generation on RyzenAI hardware.

AI Coding Agent built with DSPy. Optimized with GEPA using few instructions from SWE-Bench-Lite. Forked mini-swe-agent for evaluation suite

Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)

The Language Virtual Machine for Agent Skills

A Large-Scale Computation Graph Database for Tensor Compiler Research

WallaBMC is a lightweight BMC for STM32 and similar class MCUs, with Web UI, Redfish, and HTTPS support. Based on Zephyr RTOS.

A C library for the Nostr protocol

A modular full-system emulator written in Rust

MCP server to read waveform files

An MCP server for RenderDoc: Empowering AI assistants to analyze GPU frame captures and debug graphics pipelines.

A SystemVerilog language server based on the Slang library.

The open-sourced version of BOOM-Explorer

Chromium running inside your terminal

Artifact Evaluation for SpecFS [FAST'26]

Adaptation of Superpower in the ML field

Interactive terminals for AI agents, built for what you can't --yes away. SSH+MFA, GRUB/U-Boot, debconf installers, SOL/serial consoles, fsck, cryptsetup, pdb/gdb, apt, certbot and even Vim in tmux…

New implementation of protocols

Self study note & Source code

SystemVerilog frontend for Yosys

Cosmic Rowhammer - Crowdsourcing random bitflips for exploitation