Magnons with python

The Dark Matter Ab initio maGnon/phonon Interaction Calculator (DarkMAGIC) is a python package for computing DM interaction rates with collective excitations based on ab initio calculations of material properties.

Tunable Coupling, Topology, and Chirality by Antimagnons in Magnetic Multilayer

verl: Volcano Engine Reinforcement Learning for LLMs

A utility library to bridge llvm and mlir gaps.

Apache Flink Kubernetes Operator

Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.

Agent skills for vLLM

🐶 Kubernetes CLI To Manage Your Clusters In Style!

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

More versatile and extensible GPU-accelerated micromagnetic simulator

Patchestry is a binary patching framework built with MLIR and Ghidra.

A formally verified security module for AMD confidential VMs

Dafny is a verification-aware programming language

a datalog implementation in Python

mumax2 GPU-accelerated micromagnetics

💫 Toolkit to help you get started with Spec-Driven Development

CUDA tooling (fork — Magnon Metic GPU compute verification)

Proof synthesis tooling for Verus (fork — Magnon Metic binary verification)

AI-Assisted Verification of Data Structures