Software for RL-based OpenQL

Proof-of-concept implementation for auditable decentralized anonymous transactions using zk-SNARKs

An Active Security MPC Compiler Concept

The Zero-Knowledge Proof Compiler for Python

The Zero-Knowledge Proof Toolkit for Python

Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model

Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets

Fiat-Shamir for the masses.

Modular Zero-Knowledge Proofs of Training in the Federated Setting

SustainDC is a set of Python environments for Data Center simulation and control using Heterogeneous Multi Agent Reinforcement Learning. Includes customizable environments for workload scheduling, …

TACLe Benchmarks

⚖️ The CNCF Technical Oversight Committee (TOC) is the technical governing body of the CNCF Foundation.

Measuring and evolving with the frontier of agent work

Pipeline-parallel LLM inference across GPUs on separate machines.

Artifact for "Generic and ML Workloads in an HPC Datacenter: Node Energy, Job Failures, and Node-Job Analysis" (ICPADS'24)

Vāgdhenu — metered Sanskrit/Vedic chant text-to-speech (DiT + BigVGAN). Apache-2.0.

The Open Motion Planning Library (OMPL)

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

Multi-Joint dynamics with Contact. A general purpose physics simulator.

rclcpp (ROS Client Library for C++)

NVIDIA Isaac Sim™ is an open-source application on NVIDIA Omniverse for developing, simulating, and testing AI-driven robots in realistic virtual environments.

Frontend Repo for AI4Bharat Chat Arena

React data visualization library for streaming, networks, and AI-assisted development

All PWN-oriented (X-DEV/RE) CTFs from http://CTFTIME.org (organized in an excel sheet) 2016-2022 CTFs

AI, Unemployment, Labor Force Particiation, and Employment Rates

The OpenRouter provider for the Vercel AI SDK contains support for hundreds of models through the OpenRouter chat and completion APIs.