Gofish is a Golang client library for DMTF Redfish and SNIA Swordfish interaction.

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

An auto-active verifier embedded into Lean

Ascender provides a web-based user interface, REST API, and task engine built on top of Ansible. It is based off the upstream project of AWX.

Simple durable execution library for Go

NVIDIA Linux open GPU kernel module source

Safe and secure software updates for embedded Linux

A flight-compliant WebAssembly interpreter.

🛠️ The meta-harness for AI agents — scaffold your own focused, branded agent harness with its own npx CLI, MCP server, memory, learning loop, and witness-signed releases. Works with Claude Code, Co…

🦄 Record your terminal and generate animated gif images or share a web player

For developers, building AI factories demands coordinated planning across systems to optimize AI Factories. NVIDIA Omniverse Libraries and OpenUSD enable developers to to create digital twin soluti…

A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

Static low-bandwidth search at scale

Steal SSH host private keys and /etc/shadow via the ptrace_may_access mm-NULL bypass + pidfd_getfd. Pre-31e62c2ebbfd kernels.

Muliti-level sandboxing for AI coding agent using VM + immutable OS + gVisor + scoped containers

A highly opinionated, zero-configuration linter and formatter.

Minimal CSS Framework for semantic HTML

A Go implementation of OpenHistogram log-linear histograms

Capability-oriented version of the Rust standard library

LiteRT, successor to TensorFlow Lite. is Google's On-device framework for high-performance ML & GenAI deployment on edge platforms, via efficient conversion, runtime, and optimization

Minimalist ML framework for Rust

Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference

The best-in-class HTTP Debugger for macOS. Capture HTTP/HTTPS from macOS, iOS, Android with a few clicks ✅

Zeek is a powerful network analysis framework that is much different from the typical IDS you may know.

Self-contained Machine Learning and Natural Language Processing library in Go

onnx-go gives the ability to import a pre-trained neural network within Go without being linked to a framework or library.

An alignment auditing agent capable of quickly exploring alignment hypothesis

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

A Go (golang) library wrapping microsoft/onnxruntime.