8000 wasd96040501 (Yangze Luo) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View wasd96040501's full-sized avatar

Block or report wasd96040501

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results

A verification toolchain for Rust programs

OCaml 325 29 Updated Jul 14, 2025

Tun2socks (Linux/An 10000 droid/BSD/macOS/iOS/WSL2) (IPv4/IPv6/TCP/UDP)

C 1,278 225 Updated Jun 21, 2025

A platform for building proxies to bypass network restrictions.

Go 31,495 4,847 Updated Jul 10, 2025

Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…

Python 27,082 4,144 Updated Jul 11, 2025

Lean4-Framework to reason about multithreaded algorithms

Lean 2 Updated May 11, 2023

A library for efficient similarity search and clustering of dense vectors.

C++ 36,105 3,959 Updated Jul 15, 2025

A light-weight UITextView subclass that adds support for placeholder.

Swift 236 42 Updated Dec 15, 2024

Develop Swift/iOS projects using VSCode

TypeScript 1,440 63 Updated Jul 13, 2025

A SwiftUI library that adds powerful scroll features to all Apple platforms.

Swift 831 33 Updated Jun 27, 2025

A curated list of awesome iOS ecosystem, including Objective-C and Swift Projects

Swift 49,386 6,912 Updated Feb 4, 2025

A SwiftUI card view, made great for setup interactions.

Swift 1,186 50 Updated Mar 29, 2024
Go 1 1 Updated Jan 25, 2025

Multi-language quickstart demo for Coze OAuth

Java 2 8 Updated Jun 20, 2025

A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

TypeScript 90,985 6,299 Updated Jul 14, 2025

Scientific computing in Lean 4

Lean 416 33 Updated Jun 9, 2025

High-performance automatic differentiation of LLVM and MLIR.

LLVM 1,427 132 Updated Jul 14, 2025

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Rocq Prover 52 5 Updated Jul 4, 2025

Coq集合论中文教程

Coq 44 3 Updated Dec 17, 2021

Visual Studio Code extension for Coq

OCaml 394 82 Updated Jul 10, 2025
Coq 52 25 Updated Nov 28, 2024

Program logic for developing and verifying distributed systems

Coq 34 8 Updated Jul 14, 2025

A library for progressive blurs in SwiftUI.

Swift 1,711 31 Updated Jul 9, 2024

The Python SDK for the Coze API

Python 274 55 Updated Jul 14, 2025

Visual Studio Code extension for the Lean 4 proof assistant

TypeScript 220 71 Updated Jun 26, 2025

Natural Number Game

Lean 191 48 Updated Jul 11, 2025
Lean 20 15 Updated Sep 8, 2023

💧 Liquid Tensor Experiment

Lean 204 14 Updated Jan 23, 2024

Formalization of Mathematical Logic

Lean 138 10 Updated Jul 15, 2025

These are Lean translations of Ninety-Nine Haskell Problems (WIP)

Lean 16 3 Updated Feb 28, 2025

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 9,304 240 Updated Jul 15, 2025
Next
0