-
University of Virginia
- Virginia
-
08:49
(UTC -05:00) - https://elio-yang.github.io/
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
🦀 Small exercises to get you used to reading and writing Rust code!
🔮 ChatGPT Desktop Application (Mac, Windows and Linux)
A massively parallel, high-level programming language
Distributed transactional key-value database, originally created to complement TiDB
Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Rust source code for the FrodoPIR Private Information Retrieval scheme.
Virtual machine for executing CUDA PTX without a GPU