Jeff Liu (LiuLiujie)

LiuLiujie

Geek Repo

Company:University of Twente

Home Page:https://blog.yujieliu.com

Github PK Tool:Github PK Tool


Organizations
ActionsTools

Jeff Liu's repositories

ProVerBMate

The auto enrichment tool for ProVerB using Github Actions

Language:JavaLicense:MITStargazers:2Issues:0Issues:0

api-monitor

An open-source distributed API monitor

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

bean-life-cycle

A simple project to demonstrate the life cycle of a bean

Language:JavaStargazers:0Issues:1Issues:0

JavaBenchmark

Benchmark the Java built-in collection classes

Language:JavaStargazers:0Issues:1Issues:0

LearnDataStructure

I use this repo to learn Data Structure

Language:C++Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

ProVerB-Ontology

Ontology for ProVerB

License:MITStargazers:0Issues:2Issues:0

ProVerBMate-Analyzer

ProVerB Data Analyzer of ProVerBMate

Language:JavaStargazers:0Issues:2Issues:0
Stargazers:0Issues:1Issues:0

ProVerBMate-P2RConverter

ProVerB to RDF Data Converter of ProVerBMate

Language:JavaStargazers:0Issues:0Issues:0

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0