Tiancheng-Luo's repositories
7d-mall-microservice
7d电商微服务-极客时间「高楼的性能工程实战课」专栏项目
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
awesome-database-design
:zap: A collection of resources and tutorials to design a better database schema.
benchpress
Testing and benchmarking tool for logic-related programs.
botframework-sdk
Bot Framework provides the most comprehensive experience for building conversation applications.
cfrs
Child Frame Read String
docsearch
:blue_book: The easiest way to add search to your documentation.
edamagit
Magit for VSCode
fio
Flexible I/O Tester
geektime-ELK
ELK Training
glad-web
Webinterface for glad -> https://github.com/Dav1dde/glad
gun
An open source cybersecurity protocol for syncing decentralized graph data.
hazelcast
Open-source distributed computation and storage platform
hfst
Helsinki Finite-State Technology (library and application suite)
isotope
:revolving_hearts: Filter & sort magical layouts
jepsen
A framework for distributed systems verification, with fault injection
microcovid
Estimating the COVID risk of ordinary activities
mlton
The MLton repository
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 ...
soar
SQL Optimizer And Rewriter
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.