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

Organizations

@tohacks-ant

Block or report TongkunZhang

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
Showing results

Building a community around a cheap ESP32 Display with a touch screen

Rust 2,584 271 Updated Feb 22, 2025

An extremely fast Python package and project manager, written in Rust.

Rust 55,981 1,577 Updated May 28, 2025

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

TypeScript 44,677 5,357 Updated May 28, 2025

Using your Apple device as an access card in unsupported systems

378 10 Updated Jan 20, 2025

Instant Terminal Sharing

C 5,808 314 Updated Oct 16, 2023

Self-hostable alternative to Google Location History (Google Maps Timeline)

Ruby 5,131 142 Updated May 27, 2025

Docker Redsocks Proxy Image with Example

Shell F1F2 20 8 Updated Apr 5, 2025

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

Shell 10,909 447 Updated May 27, 2025

A docker-powered PaaS that helps you build and manage the lifecycle of applications

Shell 30,538 1,969 Updated May 28, 2025

Open Source Alternative to Vercel, Netlify and Heroku.

TypeScript 20,407 1,099 Updated May 28, 2025

A tool for writing better scripts

JavaScript 44,167 1,140 Updated May 9, 2025

A command-line benchmarking tool

Rust 25,171 400 Updated May 1, 2025

The Open Source DocuSign Alternative.

TypeScript 10,969 1,713 Updated May 28, 2025

🦜🔗 Build context-aware reasoning applications

Jupyter Notebook 108,367 17,642 Updated May 28, 2025

Simple way to manage your remote machines and SSH keys

Go 751 8 Updated Sep 30, 2024

Virtual machines for iOS and macOS

Swift 29,597 1,460 Updated Apr 8, 2025

A collection of aircraft checklists, templates, and documents -- used before, during, and after flight.

16 2 Updated Aug 16, 2023

A curated list of engineering-related video games rated Very Positive or higher on Steam

1,651 36 Updated Jul 9, 2024

Optimize floating-point expressions for accuracy

HTML 802 39 Updated May 28, 2025

Entropy is a CLI tool that will scan your codebase for high entropy lines, which are often secrets.

Go 707 21 Updated Mar 21, 2025

Run compilers interactively from your web browser and interact with the assembly

TypeScript 17,521 1,875 Updated May 28, 2025

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 2,437 211 Updated May 23, 2025

The TLA⁺ Proof Manager

OCaml 77 24 Updated Apr 27, 2025

A fast TCP/UDP tunnel over HTTP

Go 14,566 1,475 Updated Sep 28, 2024

Rust version of THU uCore OS. Linux compatible.

Rust 3,596 377 Updated Aug 24, 2023

An experimental modular OS written in Rust.

Rust 639 352 Updated May 26, 2025

We write your reusable computer vision tools. 💜

Python 26,668 2,014 Updated May 26, 2025

Set app volumes with real sliders! deej is an Arduino & Go project to let you build your own hardware mixer for Windows and Linux

Go 5,094 507 Updated Jul 11, 2024

WhatTheDuck is an open-source web application built on DuckDB. It allows users to upload CSV files, store them in tables, and perform SQL queries on the data.

Vue 625 28 Updated Nov 12, 2024

Distributed stream processing engine in Rust

Rust 4,350 273 Updated May 27, 2025
Next
0