Stars
Software for decoding classical and quantum codes
FPGA implementation of distributed union find algorithm
An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
Labs for the QICK class at QIS Summer School 2024. https://www.qscience.org/us-quantum-information-science-summer-school/
Bear is a tool that generates a compilation database for clang tooling.
eBPF-based lightweight debugger for Android with MCP support
The versatile ocean simulator, in pure Python, powered by JAX.
A static verifier for Rust, based on the Viper verification infrastructure.
An interpreter for Rust's mid-level intermediate representation
🎸 李志 Agent 音乐播放器，跨平台支持 Web / Mac / Windows / Linux
C++ and Python support for the CUDA Quantum programming model for heterogeneous quantum-classical workflows
Meta-Project for Sinara: Wiki, inter-board design, incubator for new projects
A curated list of resources for using LLMs to develop more competitive grant applications.
Cubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
A Python SDK for interacting with quantum devices on Amazon Braket
Library for pulse-level/analog control of neutral atom devices. Emulator with QuTiP.
A leading-edge control system for quantum information experiments
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.