research papers, open-source projects, and educational materials about quantum compiler

The Quartz Quantum Compiler

s1: Simple test-time scaling

MQT decision diagram package tailored to quantum computing

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

🔥 A cross-platform build utility based on Lua

A textobject-oriented vscode keymap. Inspired by vim, kakoune and helix.

A fast bump allocation arena for Rust

Some more derive(Trait) options

A blog of Programming Languages Group @Purdue

COD Labs

❤️中国科学技术大学课程资源

C++ Library Manager for Windows, Linux, and MacOS

A computer algebra system written in pure Python