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…

xlskubectl — a spreadsheet to control your Kubernetes cluster

The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Infrastructure for AI code interpreting that's powering E2B.

🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation

uBO Lite home (MV3)

Rust support for seL4 userspace

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Javascript & Typescript SDK for Zero-Knowledge Application Development

A toolkit for polynomial IOPs (PIOPs)

The Halo2 zero-knowledge proving system

Fully Open Language Models with Stellar Performance

Data and tools for generating and inspecting OLMo pre-training data.

OLMoE: Open Mixture-of-Experts Language Models

You like pytorch? You like micrograd? You love tinygrad! ❤️

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Extract JavaScript source trees from Sourcemap files

A bookmarklet for toggling real full screen on Google Meet

Command and Conquer: Red Alert

Command & Conquer: Remastered Collection

A bidirectional pipeline parallelism algorithm for computation-communication overlap in V3/R1 training.

Recreating After Dark screensavers in CSS.

A mini, open-weights, version of our Proxy assistant.

DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling

kro | Kube Resource Orchestrator

DeepEP: an efficient expert-parallel communication library