Skip to content
View syby119's full-sized avatar
  • Zhejiang University
  • Hang Zhou, Zhejiang Province

Block or report syby119

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results
Python 3,123 646 Updated May 13, 2026

An advanced SAT solver

C++ 933 199 Updated May 15, 2026

A collection of source code for computing in the fields of mathematics, geometry, graphics, image analysis and physics.

C++ 1,363 244 Updated Mar 14, 2026

Fast and reliable implementation of the Gilbert-Johnson-Keerthi (GJK) algorithm for C, C# and Matlab. To cite this software publication: https://www.sciencedirect.com/science/article/pii/S235271101…

C 2 Updated Nov 13, 2018

SRI LibPoly is a C library for manipulating polynomials

C 58 18 Updated Dec 2, 2025

SRI Yices SMT Solver

SMT 458 62 Updated May 16, 2026

《动手学大模型Dive into LLMs》系列编程实践教程

Jupyter Notebook 38,397 4,707 Updated Oct 10, 2025

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 1,305 289 Updated May 17, 2026

The Z3 Theorem Prover

C++ 12,255 1,655 Updated May 17, 2026

CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups

Cuda 243 75 Updated Mar 31, 2026
C++ 61 14 Updated Nov 20, 2025

Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1

TypeScript 60,863 9,959 Updated May 11, 2026

Fast and reliable implementation of the Gilbert-Johnson-Keerthi (GJK) algorithm for C, C++, C#, Go, Matlab, Octave, Python and Zig

C++ 198 44 Updated Apr 30, 2026

Sverchok

Python 2,459 241 Updated May 16, 2026

最优化方法及其MATLAB实现 源代码

MATLAB 46 15 Updated Oct 7, 2021

Generic model checker for concurrent C programs (mirror repository)

C++ 199 28 Updated Apr 8, 2026

A private messenger for Android.

Kotlin 28,813 6,725 Updated May 15, 2026

It's just a simple regex benchmark of different programming languages.

Dockerfile 334 58 Updated Apr 12, 2024

Programming Language Documentations

562 45 Updated Apr 17, 2026

GPT-Prompt-Hub is an open-source community-driven repository dedicated to the collection, sharing, and refinement of custom GPT prompts

2,367 405 Updated Apr 19, 2026

Course materials for hackaday.io Ghidra training

C 438 95 Updated Dec 26, 2023

如何安全地使用 Git 的指导方案

115 22 Updated Mar 6, 2023

A C++ Template library, developed by Andrei Alexandrescu, the author of the book Modern C++ Design.

C++ 443 165 Updated Oct 16, 2020

min dist between OBB

C++ 1 Updated Dec 9, 2025

Non-Uniform Rational B-Splines (NURBS) of any dimensionality

JavaScript 171 15 Updated Dec 5, 2022
C++ 17 1 Updated Dec 11, 2024

CUDA Library Samples

Cuda 2,397 456 Updated May 12, 2026

This package contains the original 2012 AlexNet code.

Cuda 2,872 376 Updated Mar 12, 2025

NURBS Curve and Surface Algorithms Library, match the NURBS Book

C++ 301 62 Updated May 6, 2026
Next