yzh119

Zihao Ye's starred repositories

mold

Mold: A Modern Linker 🦠

Language:C++MIT14144 111 879

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Language:C++NOASSERTION12110 238 9498

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.04525 67 1787

asmjit

Low-latency machine code generation

Language:C++Zlib3928 152 323

spec

Development Containers: Use a container as a full-featured development environment.

CC-BY-4.03388 174 203

cibuildwheel

🎡 Build Python wheels for all the platforms with minimal configuration.

Language:PythonNOASSERTION1832 24 653

OpenEnroth

Open reimplementation of Might and Magic 6 7 8 game engine

Language:C++LGPL-3.0707 34 568

ventus-gpgpu

GPGPU processor supporting RISCV-V extension, developed with Chisel HDL

Language:ScalaMulanPSL-2.0582 14 25

spin-rs

Spin-based synchronization primitives

Language:RustMIT470 9 59

gpu-allocator

🦀 GPU memory allocator for Vulkan, DirectX 12 and Metal. Written in pure Rust

Language:RustApache-2.0373 13 44

gymnasticon

Make obsolete and/or proprietary exercise bikes work with popular cycling training apps like Zwift, TrainerRoad, Rouvy and more.

Language:JavaScriptMIT295 17 70

openconnect-sso

Wrapper script for OpenConnect supporting Azure AD (SAMLv2) authentication to Cisco SSL-VPNs

Language:PythonGPL-3.0294 12 113

Fuser

A Fusion Code Generator for NVIDIA GPUs (commonly known as "nvFuser")

Language:C++NOASSERTION250 17 622

astra-sim

ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale

Language:C++MIT242 14 92

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 is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Language:SMTNOASSERTION198 13 85