Stars
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
🎸 李志 (B 仔) 音乐作品跨平台播放器，支持 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
An open-source Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.
QICK: Quantum Instrumentation Control Kit
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
A general-purpose encoder-decoder framework for Tensorflow
GSExtract is a tool for converting imperfect satellite radio captures of internet traffic transmitted using Generic Stream Encapsulation (GSE) over DVB-S into usable *.pcap files.