Popular repositories Loading

1. specmon specmon Public

   Forked from specmon/specmon

   Runtime monitoring of formal specifications

   C

2. OpenShell OpenShell Public

   Forked from NVIDIA/OpenShell

   OpenShell is the safe, private runtime for autonomous AI agents.

   Rust

3. NemoClaw NemoClaw Public

   Forked from NVIDIA/NemoClaw

   Run OpenClaw more securely inside NVIDIA OpenShell with managed inference

   TypeScript

4. skills skills Public

   Forked from mattpocock/skills

   Shell