arendst / Tasmota
一款为智能家具设计的固件，支持基于 ESP8266 的设备，拥有 webUI、OTA更新、规则自动化等功能。
一款为智能家具设计的固件，支持基于 ESP8266 的设备，拥有 webUI、OTA更新、规则自动化等功能。
GitHub
GitHub - arendst/Tasmota: Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates…
Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP...
Z3Prover / z3
Z3 是一个微软出品的开源约束求解器，能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题，可以简单理解为解方程的感觉，功能强大且易于使用
Z3 是一个微软出品的开源约束求解器，能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题，可以简单理解为解方程的感觉，功能强大且易于使用
GitHub
GitHub - Z3Prover/z3: The Z3 Theorem Prover
The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub.
davidfowl / BedrockFramework
基于 .NET Core 的高性能，底层网络 API，用于构建自定义协议的服务器和客户端。
基于 .NET Core 的高性能，底层网络 API，用于构建自定义协议的服务器和客户端。
GitHub
GitHub - davidfowl/BedrockFramework: High performance, low level networking APIs for building custom servers and clients.
High performance, low level networking APIs for building custom servers and clients. - davidfowl/BedrockFramework
zpoint / CPython-Internals
CPython(Python 官方默认解释器) 的底层实现源码分析。
CPython(Python 官方默认解释器) 的底层实现源码分析。
GitHub
GitHub - zpoint/CPython-Internals: Dive into CPython internals, trying to illustrate every detail of CPython implementation
Dive into CPython internals, trying to illustrate every detail of CPython implementation - zpoint/CPython-Internals
0x4447 / 0x4447_product_s3_email
使用 AWS S3，AWS SES，AWS Lambda 和 AWS Trigger 搭建一个 serverless 邮件服务器。
使用 AWS S3，AWS SES，AWS Lambda 和 AWS Trigger 搭建一个 serverless 邮件服务器。
GitHub
GitHub - 0x4447/0x4447_product_s3_email: 📫 A serverless email server on AWS using S3 and SES
📫 A serverless email server on AWS using S3 and SES - 0x4447/0x4447_product_s3_email
Jellyfin
用 C# 写的媒体库管理系统，可以管理你私藏的电影、番剧或者音乐，使用 C# 编写，Web 界面，跨平台。
用 C# 写的媒体库管理系统，可以管理你私藏的电影、番剧或者音乐，使用 C# 编写，Web 界面，跨平台。
GitHub
GitHub - jellyfin/jellyfin: The Free Software Media System - Server Backend & API
The Free Software Media System - Server Backend & API - jellyfin/jellyfin
每日 Github Trending 速览 2019-01-07
这期速览尝试使用 Telegraph 发布，支持的 Telegram 客户端可以点击下方的 INSTANT VIEW 阅读。不支持的客户端 点击此处 阅读
#githubtrending20190107
这期速览尝试使用 Telegraph 发布，支持的 Telegram 客户端可以点击下方的 INSTANT VIEW 阅读。不支持的客户端 点击此处 阅读
#githubtrending20190107
Telegraph
Github Trending 速览 — 2020年1月7日
Telegram 频道 awesomeopensource bilibili / kratos Kratos是bilibili开源的一套Go微服务框架，包含大量微服务相关框架及工具。 tycrek / degoogle 让 Google 脱离生活，收集 google 重要服务的替代品，重点关注针对隐私的替代产品，而且不包括 Microsoft，Apple，Yahoo，Amazon 等公司的产品。 practicalAI / practicalAI 实用向的机器学习教程，教程使用 Google Notebooks…