Hebrh

Hebrh's Stars

• coreybutler/nvm-windows

  A node.js version management utility for Windows. Ironically written in Go.

  Language:Go35.9k3.2k

• nvm-sh/nvm

  Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions

  Language:Shell77.2k7.8k

• oap-project/Gluten-Trino

  Gluten: Plugin to Boost Trino's Performance

  Language:Java6713

• joshua-wu/deepfakes_faceswap

  from deekfakes' faceswap: https://www.reddit.com/user/deepfakes/

  Language:Python3.1k1k

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq64482

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.7k637

• QuickChick/QuickChick

  Randomized Property-Based Testing Plugin for Coq

  Language:Coq24646

• mietek/sf

  Mirror of Software Foundations in PDF

  Language:HTML29357

• idris-hackers/software-foundations

  Software Foundations in Idris

  Language:Idris45334

• apache/maven-dependency-analyzer

  Apache Maven Dependency Analyzer

  Language:Java3844

• akfamily/akshare

  AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库

  Language:Python8.7k1.8k

• easy-mock/easy-mock

  A persistent service that generates mock data quickly and provids visualization view.

  Language:JavaScript9k1.3k

• ngneat/falso

  All the Fake Data for All Your Real Needs 🙂

  Language:TypeScript3.2k115

• go-delve/delve

  Delve is a debugger for the Go programming language.

  Language:Go22.4k2.1k

• go-gorm/gorm

  The fantastic ORM library for Golang, aims to be developer friendly

  Language:Go36k3.9k

• e421083458/go_gateway

  微服务网关后端配套代码

  Language:Go238111

• Genymobile/scrcpy

  Display and control your Android device

  Language:C105k10.2k

• aidlearning/AidLearning-FrameWork

  🔥🔥🔥AidLearning is a powerful AIOT development platform, AidLearning builds a linux env supporting GUI, deep learning and visual IDE on Android...Now Aid supports CPU+GPU+NPU for inference with high performance acceleration...Linux on Android or HarmonyOS

  Language:Python5.5k701

• go-kratos/kratos

  Your ultimate Go microservices framework for the cloud-native era.

  Language:Go22.7k3.9k

• z1nc0r3/twitter-video-downloader

  This is a Python script that allows you to download videos from Twitter. It takes a Twitter video URL as input, extracts the video ID, and downloads the video using the URL with the highest bitrate.

  Language:Python227

• gin-gonic/gin

  Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.

  Language:Go76.7k7.9k

• termux/termux-packages

  A package build system for Termux.

  Language:Shell12.6k2.9k

• termux/termux-app

  Termux - a terminal emulator application for Android OS extendible by variety of packages.

  Language:Java32.9k3.5k

• Evil0ctal/Douyin_TikTok_Download_API

  🚀「Douyin_TikTok_Download_API」是一个开箱即用的高性能异步抖音、快手、TikTok、Bilibili数据爬取工具，支持API调用，在线批量解析及下载。

  Language:Python7.7k1.2k

• coder-fly/douyin-signature

  douyin signature

  Language:JavaScript265123

• ihmily/DouyinLiveRecorder

  可循环值守和多人录制的直播录制软件，支持抖音、TikTok、快手、虎牙、斗鱼、B站、小红书、pandatv、afreecatv、flextv、popkontv、twitcasting、winktv、百度、微博、酷狗、花椒、流星、Twitch等平台直播录制

  Language:Python3.7k433

• wangshub/Douyin-Bot

  😍 Python 抖音机器人，论如何在抖音上找到漂亮小姐姐？

  Language:Python9.2k1.9k

• go-kratos/gateway

  A high-performance API Gateway with middlewares, supporting HTTP and gRPC protocols.

  Language:Go656128

• openimsdk/open-im-server

  IM Chat

  Language:Go13.4k2.4k

• tinode/chat

  Instant messaging platform. Backend in Go. Clients: Swift iOS, Java Android, JS webapp, scriptable command line; chatbots

  Language:Go11.7k1.8k