google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Language:Lean
Total stars: 130
Stars trend:
#lean
#formalmathematics, #lean4
A collection of formalized statements of conjectures in Lean.
Language:Lean
Total stars: 130
Stars trend:
28 May 2025
4pm ▎ +2
5pm ▍ +3
6pm ▋ +5
7pm █▋ +13
8pm █▎ +10
9pm ▉ +7
10pm █▎ +10
11pm █▍ +11
29 May 2025
12am ▊ +6
1am ▊ +6
2am █▏ +9#lean
#formalmathematics, #lean4
sktime/sktime
A unified framework for machine learning with time series
Language:Python
Total stars: 8947
Stars trend:
#python
#ai, #anomalydetection, #changepointdetection, #datamining, #datascience, #forecasting, #hacktoberfest, #machinelearning, #scikitlearn, #sktime, #timeseries, #timeseriesanalysis, #timeseriesclassification, #timeseriesregression, #timeseriessegmentation
A unified framework for machine learning with time series
Language:Python
Total stars: 8947
Stars trend:
28 May 2025
7pm █▏ +9
8pm ▌ +4
9pm ▋ +5
10pm █ +8
11pm ▋ +5
29 May 2025
12am ▎ +2
1am ██ +16
2am █ +8
3am ▎ +2
4am ▋ +5
5am █ +8
6am ▉ +7#python
#ai, #anomalydetection, #changepointdetection, #datamining, #datascience, #forecasting, #hacktoberfest, #machinelearning, #scikitlearn, #sktime, #timeseries, #timeseriesanalysis, #timeseriesclassification, #timeseriesregression, #timeseriessegmentation
livingbio/typed-ffmpeg
Modern Python FFmpeg wrappers offer comprehensive support for complex filters, complete with detailed typing and documentation.
Language:Python
Total stars: 405
Stars trend:
#python
#ffmpeg, #ffmpegpython, #ffmpegwrapper, #media, #mediaprocessing, #multimedia, #python, #typing
Modern Python FFmpeg wrappers offer comprehensive support for complex filters, complete with detailed typing and documentation.
Language:Python
Total stars: 405
Stars trend:
29 May 2025
4am ██▏ +17
5am ████▍ +35
6am ████▌ +36
7am ███ +24
8am ████▉ +39#python
#ffmpeg, #ffmpegpython, #ffmpegwrapper, #media, #mediaprocessing, #multimedia, #python, #typing
🔥1
78/xiaozhi-esp32
Build your own AI friend
Language:C++
Total stars: 13889
Stars trend:
#cplusplus
#chatbot, #esp32, #llm
Build your own AI friend
Language:C++
Total stars: 13889
Stars trend:
28 May 2025
10pm ▌ +4
11pm ▎ +2
29 May 2025
12am ▉ +7
1am █ +8
2am █▎ +10
3am ▊ +6
4am ▍ +3
5am ▊ +6
6am ▉ +7
7am ▉ +7
8am █▍ +11
9am █▏ +9#cplusplus
#chatbot, #esp32, #llm
duixcom/Duix.mobile
Language:C++
Total stars: 6633
Stars trend:
#cplusplus
Language:C++
Total stars: 6633
Stars trend:
28 May 2025
11pm ▎ +2
29 May 2025
12am ▋ +5
1am █▏ +9
2am ▉ +7
3am ▉ +7
4am ▌ +4
5am █▎ +10
6am ▊ +6
7am █ +8
8am ▉ +7
9am ▊ +6
10am ▌ +4#cplusplus
zhayujie/chatgpt-on-wechat
基于大模型搭建的聊天机器人，同时支持 微信公众号、企业微信应用、飞书、钉钉 等接入，可选择GPT4.1/GPT-4o/GPT-o1/ DeepSeek/Claude/文心一言/讯飞星火/通义千问/ Gemini/GLM-4/Kimi/LinkAI，能处理文本、语音和图片，访问操作系统和互联网，支持基于自有知识库进行定制企业智能客服。
Language:Python
Total stars: 37196
Stars trend:
#python
#ai, #chatglm4, #chatgpt, #claude3, #deepseekr1, #dingtalk, #feishubot, #gemini, #gpt4, #gpt41, #kimi, #linkai, #llm, #openai, #python3, #qwen, #rag, #wechat, #wechatbot, #xunfeispark
基于大模型搭建的聊天机器人，同时支持 微信公众号、企业微信应用、飞书、钉钉 等接入，可选择GPT4.1/GPT-4o/GPT-o1/ DeepSeek/Claude/文心一言/讯飞星火/通义千问/ Gemini/GLM-4/Kimi/LinkAI，能处理文本、语音和图片，访问操作系统和互联网，支持基于自有知识库进行定制企业智能客服。
Language:Python
Total stars: 37196
Stars trend:
29 May 2025
12am ▋ +5
1am █▏ +9
2am █▋ +13
3am █▍ +11
4am ▎ +2
5am ▊ +6
6am ▉ +7
7am ▌ +4
8am █▌ +12
9am ▊ +6
10am ▎ +2
11am ▎ +2#python
#ai, #chatglm4, #chatgpt, #claude3, #deepseekr1, #dingtalk, #feishubot, #gemini, #gpt4, #gpt41, #kimi, #linkai, #llm, #openai, #python3, #qwen, #rag, #wechat, #wechatbot, #xunfeispark
rsyncOSX/RsyncUI
A SwiftUI based macOS GUI for rsync.
Language:Swift
Total stars: 568
Stars trend:
#swift
#macossequoia, #macossonoma, #rsync, #swiftui
A SwiftUI based macOS GUI for rsync.
Language:Swift
Total stars: 568
Stars trend:
29 May 2025
8am ▌ +4
9am █▎ +10
10am ██▏ +17
11am █▎ +10
12pm █▉ +15
1pm █▎ +10
2pm █▊ +14#swift
#macossequoia, #macossonoma, #rsync, #swiftui
snarktank/ai-dev-tasks
A simple task management system for managing AI dev in Cursor
Language:
Total stars: 672
Stars trend:
A simple task management system for managing AI dev in Cursor
Language:
Total stars: 672
Stars trend:
29 May 2025
5am ▍ +3
6am ▎ +2
7am +0
8am ▎ +2
9am ▎ +2
10am ▌ +4
11am █▉ +15
12pm █ +8
1pm █▎ +10
2pm █▋ +13
3pm █▉ +15
4pm █▌ +12netbymatt/ws4kp
A web-based WeatherStar 4000
Language:JavaScript
Total stars: 536
Stars trend:
#javascript
#weatherchannel, #weatherdisplay
A web-based WeatherStar 4000
Language:JavaScript
Total stars: 536
Stars trend:
29 May 2025
10am ▎ +2
11am ▏ +1
12pm ▏ +1
1pm ▏ +1
2pm ▉ +7
3pm ▍ +3
4pm █ +8
5pm ███▎ +26
6pm ██▊ +22
7pm ██ +16#javascript
#weatherchannel, #weatherdisplay
fastapi/fastapi
FastAPI framework, high performance, easy to learn, fast to code, ready for production
Language:Python
Total stars: 85341
Stars trend:
#python
#api, #async, #asyncio, #fastapi, #framework, #json, #jsonschema, #openapi, #openapi3, #pydantic, #python, #pythontypes, #python3, #redoc, #rest, #starlette, #swagger, #swaggerui, #uvicorn, #web
FastAPI framework, high performance, easy to learn, fast to code, ready for production
Language:Python
Total stars: 85341
Stars trend:
29 May 2025
10am ▌ +4
11am █▎ +10
12pm █ +8
1pm ▉ +7
2pm █ +8
3pm ▉ +7
4pm █▌ +12
5pm ▉ +7
6pm ▊ +6
7pm ▉ +7
8pm █▎ +10#python
#api, #async, #asyncio, #fastapi, #framework, #json, #jsonschema, #openapi, #openapi3, #pydantic, #python, #pythontypes, #python3, #redoc, #rest, #starlette, #swagger, #swaggerui, #uvicorn, #web
👍1
safety-research/circuit-tracer
Language:JavaScript
Total stars: 293
Stars trend:
#javascript
Language:JavaScript
Total stars: 293
Stars trend:
29 May 2025
4pm ████▌ +36
5pm ██▌ +20
6pm █▊ +14
7pm ███▍ +27
8pm ███▎ +26
9pm ███▉ +31#javascript
KwaiVGI/LivePortrait
Bring portraits to life!
Language:Python
Total stars: 15315
Stars trend:
#python
#faceanimation, #imageanimation, #videoediting, #videogeneration
Bring portraits to life!
Language:Python
Total stars: 15315
Stars trend:
29 May 2025
11am █▋ +13
12pm ▉ +7
1pm ▊ +6
2pm ▋ +5
3pm ▉ +7
4pm █ +8
5pm ▍ +3
6pm ▌ +4
7pm ▊ +6
8pm ▋ +5
9pm ▋ +5
10pm ▊ +6#python
#faceanimation, #imageanimation, #videoediting, #videogeneration
richardgill/llm-ui
The React library for LLMs
Language:TypeScript
Total stars: 702
Stars trend:
#typescript
#chatgpt, #claude, #componentlibrary, #generativeai, #llama, #llm, #markdown, #openai, #react
The React library for LLMs
Language:TypeScript
Total stars: 702
Stars trend:
29 May 2025
3pm ▏ +1
4pm ▋ +5
5pm █▎ +10
6pm █▍ +11
7pm █▋ +13
8pm █▋ +13
9pm █▍ +11
10pm ▋ +5
11pm ▉ +7#typescript
#chatgpt, #claude, #componentlibrary, #generativeai, #llama, #llm, #markdown, #openai, #react
ripienaar/free-for-dev
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
Language:HTML
Total stars: 97187
Stars trend:
#html
#awesomelist, #freefordevelopers
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
Language:HTML
Total stars: 97187
Stars trend:
29 May 2025
2pm ▋ +5
3pm ▊ +6
4pm █▎ +10
5pm ▎ +2
6pm ▍ +3
7pm ▍ +3
8pm ▏ +1
9pm ▎ +2
10pm ▎ +2
11pm ▉ +7
30 May 2025
12am █▊ +14
1am ███▉ +31#html
#awesomelist, #freefordevelopers
derisk-ai/OpenDerisk
AI-Native Risk Intelligence Systems, OpenDeRisk——Your application system risk intelligent manager provides 7* 24-hour comprehensive and in-depth protection.
Language:Python
Total stars: 166
Stars trend:
#python
#agent, #aisre, #aigc, #devops, #mcp, #rl
AI-Native Risk Intelligence Systems, OpenDeRisk——Your application system risk intelligent manager provides 7* 24-hour comprehensive and in-depth protection.
Language:Python
Total stars: 166
Stars trend:
29 May 2025
5pm ▍ +3
6pm ▏ +1
7pm +0
8pm +0
9pm +0
10pm ▎ +2
11pm ▋ +5
30 May 2025
12am ██ +16
1am █▍ +11
2am ███▊ +30
3am █ +8
4am ▋ +5#python
#agent, #aisre, #aigc, #devops, #mcp, #rl
binwiederhier/ntfy
Send push notifications to your phone or desktop using PUT/POST
Language:Go
Total stars: 23118
Stars trend:
#go
#curl, #notifications, #ntfy, #ntfysh, #pubsub, #pushnotifications, #restapi
Send push notifications to your phone or desktop using PUT/POST
Language:Go
Total stars: 23118
Stars trend:
29 May 2025
10pm ▎ +2
11pm +0
30 May 2025
12am ▋ +5
1am ███▋ +29
2am ██▋ +21
3am █ +8
4am ▊ +6
5am ▋ +5#go
#curl, #notifications, #ntfy, #ntfysh, #pubsub, #pushnotifications, #restapi
zeusssz/hercules-obfuscator
A powerful Lua obfuscator designed to make your Lua code nearly impossible to reverse-engineer, with multiple layers of advanced obfuscation techniques
Language:Lua
Total stars: 126
Stars trend:
#lua
#lua, #luaobfuscator, #obfuscator
A powerful Lua obfuscator designed to make your Lua code nearly impossible to reverse-engineer, with multiple layers of advanced obfuscation techniques
Language:Lua
Total stars: 126
Stars trend:
30 May 2025
2am ███████████▎ +90
3am +0
4am +0
5am +0
6am +0
7am ███▎ +26#lua
#lua, #luaobfuscator, #obfuscator
Alibaba-NLP/WebAgent
🌐 WebWalker [ACL2025] & WebDancer [Preprint]
Language:Python
Total stars: 614
Stars trend:
#python
#agent, #alibaba, #artificialintelligence, #informationseeking, #llm, #multiagent, #rag, #webagent
🌐 WebWalker [ACL2025] & WebDancer [Preprint]
Language:Python
Total stars: 614
Stars trend:
29 May 2025
10pm ▎ +2
11pm ▋ +5
30 May 2025
12am ▊ +6
1am █▉ +15
2am █▊ +14
3am ▉ +7
4am ▍ +3
5am █▍ +11
6am █▏ +9
7am ▋ +5
8am █ +8#python
#agent, #alibaba, #artificialintelligence, #informationseeking, #llm, #multiagent, #rag, #webagent
hubingkang/vocabulary-corpus
44000+ 词汇语料库
Language:TypeScript
Total stars: 253
Stars trend:
#typescript
44000+ 词汇语料库
Language:TypeScript
Total stars: 253
Stars trend:
29 May 2025
10pm ▍ +3
11pm ▉ +7
30 May 2025
12am ▉ +7
1am ▋ +5
2am █▌ +12
3am █▏ +9
4am ▉ +7
5am ▋ +5
6am ▊ +6
7am █▋ +13
8am ▉ +7
9am ▎ +2#typescript
liujuntao123/smart-mermaid
一款基于 AI 技术的 Web 应用程序，可将文本内容智能转换为 Mermaid 格式的代码，并将其渲染成可视化图表。
Language:JavaScript
Total stars: 356
Stars trend:
#javascript
一款基于 AI 技术的 Web 应用程序，可将文本内容智能转换为 Mermaid 格式的代码，并将其渲染成可视化图表。
Language:JavaScript
Total stars: 356
Stars trend:
30 May 2025
12am ▌ +4
1am ██▍ +19
2am █▋ +13
3am █ +8
4am ▎ +2
5am ▉ +7
6am █▏ +9
7am ▎ +2
8am ▎ +2
9am ▉ +7
10am ▎ +2#javascript