Lists (1)
Sort Name ascending (A-Z)
Stars
Explore the TUF spec and TAPS interactively in an SPA
Run AI agents and shell commands isolated inside an OSX virtual machine: Claude Code, OpenAI Codex, Cursor Agent, Google Gemini
Run AI coding agents in secure, isolated microVMs. Sub-125ms boot times, real hardware isolation.
Kernel-enforced agent sandbox and agent security CLI and SDKs. Capability-based isolation with secure key management, atomic rollback, cryptographic immutable audit chain of provenance. Run your ag…
just-every / code
Forked from openai/codexEvery Code - push frontier AI to it limits. A fork of the Codex CLI with validation, automation, browser integration, multi-agents, theming, and much more. Orchestrate agents from OpenAI, Claude, G…
A simple, fast and versatile Datalog database
SFrijters / legoino
Forked from corneliusmunz/legoinoArduino Library for controlling Powered UP and Boost controllers
Zero-knowledge proof system for JWT possession verification using gnark and PLONK
Clojure interpreter hosted on Go, with extensible interop support.
An embeddable Datalog database that is Datomic-inspired written in Golang
A friendly TUF (The Update Framework) client with pretty output and emojis 🎯
Harden-Runner is a CI/CD security agent that works like an EDR for GitHub Actions runners. It monitors network egress, file integrity, and process activity on those runners, detecting threats in re…
Agent framework for the JVM. Pronounced Em-BAY-bel /ɛmˈbeɪbəl/
Evaluate a Github project against the OSPS baseline from the OpenSSF
A Clojure-compatible(-ish) Lisp dialect hosted on Python 3 with seamless Python interop
SV8ARJ / spektrum
Forked from pavels/spektrumrtl-sdr spectrum analyzer
🧬 The adaptive model routing system for exploration and exploitation.
https://github.com/docker-library/meta-scripts
Library to create, verify, and evaluate policy for attestations on container images