Tiancheng-Luo's repositories

7d-mall-microservice

7d电商微服务-极客时间「高楼的性能工程实战课」专栏项目

Language:JavaLicense:Apache-2.0Stargazers:1Issues:0Issues:0

ar

Autoregressive process modeling tools in header-only C++

Language:C++License:MPL-2.0Stargazers:1Issues:1Issues:0

ESIO

The ExaScale IO (ESIO) library provides simple, high throughput input and output of structured data sets using parallel HDF5. ESIO is designed to support reading and writing turbulence simulation restart files within C, C++, and modern Fortran applications.

Language:CLicense:LGPL-2.1Stargazers:1Issues:1Issues:0

intro_dgm

An Introduction to Deep Generative Modeling: Examples

Language:Jupyter NotebookLicense:MITStargazers:1Issues:1Issues:0

protobuf-c

Protocol Buffers implementation in C

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

vgpu_unlock

Unlock vGPU functionality for consumer grade GPUs.

Language:CLicense:MITStargazers:1Issues:1Issues:0

zdog

Flat, round, designer-friendly pseudo-3D engine for canvas & SVG

Language:JavaScriptStargazers:1Issues:0Issues:0

arbtt

arbtt, the automatic rule-based time-tracker

License:GPL-2.0Stargazers:0Issues:0Issues:0

AutoFolio

Automated Algorithm Selection with Hyperparameter Optimization

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

awesome-database-design

:zap: A collection of resources and tutorials to design a better database schema.

Stargazers:0Issues:0Issues:0

benchpress

Testing and benchmarking tool for logic-related programs.

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

botframework-sdk

Bot Framework provides the most comprehensive experience for building conversation applications.

License:MITStargazers:0Issues:0Issues:0

cfrs

Child Frame Read String

License:GPL-3.0Stargazers:0Issues:0Issues:0

docsearch

:blue_book: The easiest way to add search to your documentation.

License:MITStargazers:0Issues:0Issues:0

edamagit

Magit for VSCode

License:MITStargazers:0Issues:0Issues:0

fio

Flexible I/O Tester

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

geektime-ELK

ELK Training

Language:HTMLStargazers:0Issues:0Issues:0

glad-web

Webinterface for glad -> https://github.com/Dav1dde/glad

Stargazers:0Issues:0Issues:0

gun

An open source cybersecurity protocol for syncing decentralized graph data.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hazelcast

Open-source distributed computation and storage platform

License:NOASSERTIONStargazers:0Issues:0Issues:0

hfst

Helsinki Finite-State Technology (library and application suite)

License:GPL-3.0Stargazers:0Issues:0Issues:0

isotope

:revolving_hearts: Filter & sort magical layouts

Stargazers:0Issues:0Issues:0

jepsen

A framework for distributed systems verification, with fault injection

Stargazers:0Issues:0Issues:0

microcovid

Estimating the COVID risk of ordinary activities

License:MITStargazers:0Issues:0Issues:0

mlton

The MLton repository

License:NOASSERTIONStargazers:0Issues:0Issues:0

nakama-docs

Documentation for Nakama social and realtime server.

License:Apache-2.0Stargazers:0Issues:0Issues:0

PVS

The People's Verification System

Language:Common LispLicense:GPL-2.0Stargazers:0Issues:0Issues:0

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 ...

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

soar

SQL Optimizer And Rewriter

License:Apache-2.0Stargazers:0Issues:0Issues:0

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.

License:BSD-2-ClauseStargazers:0Issues:0Issues:0