phasis2020's repositories
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
CefSharp
.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework
nltk_data
NLTK Data
tesseract
Tesseract Open Source OCR Engine (main repository) V5.3.1
chat-gpt-google-extension
A browser extension to display ChatGPT response alongside search engine results
ChatGPT-wechat-bot
ChatGPT for wechat
chatgpt-chrome-extension
A ChatGPT Chrome extension. Integrates ChatGPT into every text box on the internet.
wechatbot
为个人微信接入ChatGPT
taskt
taskt (pronounced 'tasked' and formely sharpRPA) is free and open-source robotic process automation (rpa) built in C# powered by the .NET Framework
RPA
UI.Vision: Open-Source RPA Software (formerly Kantu) - Modern Robotic Process Automation with Selenium IDE++
gt-linalg
Interactive Linear Algebra, free online textbook at Georgia Tech
tessdata
Trained models with support for legacy and LSTM OCR engine
tessdata_best
Best (most accurate) trained LSTM models.
antv-study
其中包含了antv/l7绘制**地图
tasktServer
tasktServer is the optional web component and orchestrator for taskt, a free and open-source process automation (rpa) client
yiqingditu
武汉肺炎，疫情地图