wtakuo/opfs
A set of simple utilities for manipulating xv6-riscv file system images
Public GitHub Catalog
Discovered Sep 24, 2026
wtakuo / Frama-C
This project is for my personal Frama-C training.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#1866392GitHub System ID
wtakuoOrganization / User
PublicVisibility
ActiveCatalog Status
More from wtakuo
wtakuo/mbedremounter
A launchd daemon that fixes the mount mode of HDK-based mbeds
wtakuo/localports
Some private ports for MacPorts
wtakuo/sandal
A fault-aware model checker for message passing systems