Stars
A ROS 2-Compatible True Zero-Copy IPC Middleware supporting all ROS Message Types
Within the bounds of the law. supported by SecHack365
orgu is a tool for implementing organization-wide workflows on GitHub
An implementation of the IETF QUIC protocol in F*
pinact is a CLI to edit GitHub Workflow and Composite action files and pin versions of Actions and Reusable Workflows. pinact can also update their versions and verify version annotations.
y-kzm / microps
Forked from pandax381/micropsAn implementation of a small TCP/IP protocol stack for learning.
r1ru / WasmOS
Forked from nuta/microkernel-bookA proof-of-concept microkernel that runs WebAssembly natively.
Unofficial reference Wasm interpreter written in C