浏览项目

https://github.com/leanprover-community/mathlib4 的镜像仓库

holehe allows you to check if the mail is used on different sites like twitter, instagram and will retrieve information on sites with the forgotten password function.

A Home Assistant React component library to generate dashboards with ease, This utilizises a massive list of Components / cards to use out of the box, a large range of hooks to build your own custom functionality, and a hell of a lot more! It's using web sockets to retrieve information from your home assistant instance so there's 0 latency!

🤯 Lobe Chat - an open-source, modern-design LLMs/AI chat framework. Supports Multi AI Providers( OpenAI / Claude 3 / Gemini / Ollama / Bedrock / Azure / Mistral / Perplexity ), Multi-Modals (Vision/TTS) and plugin system. One-click FREE deployment of your private ChatGPT chat application.

Distributed Task Queue (development branch)

🤗更优雅的微信公众号订阅方式，支持私有化部署、微信公众号RSS生成（基于微信读书）v2.x

🎨 Diagram as Code for prototyping cloud system architectures

The official gpt4free repository | various collection of powerful language models

Easy P2P file transfer powered by WebRTC - inspired by Apple AirDrop

✅ The Node.js best practices list (July 2024)

YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite

The uncompromising Python code formatter

OSX (macOS) inside a Docker container.

A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

IM Chat

Based on microsoft/ethr, add pkg support. Ethr is a Comprehensive Network Measurement Tool for TCP, UDP & ICMP.

Core integrations of the Datadog Agent

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor