Skip to content
View songdongsheng's full-sized avatar

Block or report songdongsheng

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Intel® Graphics Compute Runtime for oneAPI Level Zero and OpenCL™ Driver

C++ 1,298 257 Updated Nov 26, 2025

Password-based key derivation function and password hashing scheme building upon scrypt

C 179 12 Updated Sep 18, 2025

Proof-of-work scheme building upon yescrypt and scrypt

C 35 21 Updated Jun 15, 2025

n2 ("into"), a ninja compatible build system

Rust 435 35 Updated Nov 10, 2025

An open protocol enabling communication and interoperability between opaque agentic applications.

Shell 20,820 2,122 Updated Nov 25, 2025

Tencent Kona JDK21 is a no-cost, production-ready distribution of the Open Java Development Kit (OpenJDK), Long-Term Support(LTS) with quarterly updates. Tencent Kona JDK21 is certified as compatib…

Java 47 4 Updated Nov 6, 2025

Cap'n Proto serialization/RPC system - core tools and C++ library

C++ 12,666 1,000 Updated Nov 25, 2025

Temurin 25 binaries

29 1 Updated Nov 25, 2025

Scripts to build a trimmed-down Windows 11 image.

PowerShell 16,663 1,297 Updated Sep 12, 2025

A very fast linker for Linux

Rust 3,032 80 Updated Nov 26, 2025

DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios. 使用Rust从0自研内核,具有Linux兼容性的操作系统,面向云计算Serverless场景而设计。

Rust 1,086 166 Updated Nov 25, 2025

Solutions to Popular LeetCode Problems

350 136 Updated Jul 2, 2025

A General-purpose Task-parallel Programming System using Modern C++

C++ 11,421 1,334 Updated Nov 26, 2025

Unofficial LoongArch Intrinsics Guide

C 62 9 Updated Aug 11, 2025

Tooling to generate metadata for Win32 APIs in the Windows Driver Kit (WDK).

C++ 104 11 Updated Feb 4, 2025

Tooling to generate metadata for Win32 APIs in the Windows SDK.

C++ 1,438 138 Updated Nov 26, 2025

Explore the limits of polystate

Zig 6 Updated Aug 6, 2025

Fine-grained parallelism with sub-nanosecond overhead in Zig

Zig 906 21 Updated Mar 9, 2025

Build type-safe finite state machines with higher-order states.

Zig 224 4 Updated Sep 1, 2025

Lean 4 programming language and theorem prover

Lean 6,779 698 Updated Nov 26, 2025

Incubating API Repository for QualityOnDemand API(s)

Gherkin 51 62 Updated Nov 20, 2025

libfaketime modifies the system time for a single application

C 2,963 352 Updated Nov 9, 2025

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Go 40,442 3,634 Updated Nov 26, 2025

openFrameworks is a community-developed cross platform toolkit for creative coding in C++.

C++ 10,265 2,573 Updated Nov 18, 2025

Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.

C++ 5,484 962 Updated Nov 26, 2025

Open Dynamics Engine (ODE) github mirror from https://bitbucket.org/odedevs/ode

C++ 177 39 Updated Jan 17, 2024

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

C++ 19,986 3,168 Updated Nov 9, 2025

A modern formatting library

C++ 22,931 2,775 Updated Nov 23, 2025

A tool for use with clang to analyze #includes in C and C++ source files

C++ 4,550 407 Updated Nov 17, 2025
Next