#
Highlights
- Pro
Starred repositories
Verifying concurrent crash-safe systems
Verified, concurrent, crash-safe transaction system
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
F´ - A flight software and embedded systems framework
Storage systems with verified correctness properties
A verified high-performance file system
Compressed Log Processor (CLP) is a free log management tool capable of compressing logs and searching the compressed logs without decompression.
A qqbot for Princess Connect Re:Dive (and other usage :)
A hoshino module to update dota2 match outcomes in QQ.
DaisyNFS is an NFS server verified using Dafny and Perennial.
FSCQ is a certified file system written and proven in Coq
Kotlin Language Server and plugin for Visual Studio Code
Cross-platform Xcode replacement. Build and deploy iOS apps with SwiftPM on Linux, Windows, macOS.
SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC