Tiancheng-Luo's repositories
7d-mall-microservice
7d电商微服务-极客时间「高楼的性能工程实战课」专栏项目
nhexl-mode
Minor mode to edit files via hex-dump format
protobuf-c
Protocol Buffers implementation in C
vgpu_unlock
Unlock vGPU functionality for consumer grade GPUs.
arbtt
arbtt, the automatic rule-based time-tracker
AutoFolio
Automated Algorithm Selection with Hyperparameter Optimization
botframework-sdk
Bot Framework provides the most comprehensive experience for building conversation applications.
cfrs
Child Frame Read String
CSLisp
Scheme / Lisp implementation in pure C# for embedding in .NET projects
docsearch
:blue_book: The easiest way to add search to your documentation.
fio
Flexible I/O Tester
geektime-ELK
ELK Training
hazelcast
Open-source distributed computation and storage platform
hfst
Helsinki Finite-State Technology (library and application suite)
isotope
:revolving_hearts: Filter & sort magical layouts
nakama-docs
Documentation for Nakama social and realtime server.
PVS
The People's Verification System
Python-UIAutomation-for-Windows
(Donot use 3.7.6,3.8.1):snake:Python 3 wrapper of Microsoft UIAutomation. Support UIAutomation for MFC, WindowsForm, WPF, Modern UI(Metro UI), Qt, IE, Firefox, Chrome ...
zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.