Giters
Xuechao (xuechaofelix)

xuechaofelix

Geek Repo

3

followers

0

following

0

stars

Github PK Tool:Github PK Tool

Xuechao's repositories

DeepUI

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

QMC_Release

Stargazers:1Issues:1Issues:0

SVMRanker

Language:PythonStargazers:1Issues:1Issues:0

ardupilot

ArduPlane, ArduCopter, ArduRover source

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

BDD

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

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

ChineseWordsNumberInPDF

Language:PythonStargazers:0Issues:0Issues:0

ePMC_UI

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

Predicate

Stargazers:0Issues:1Issues:0

QuantumModelChecker

Language:MakefileStargazers:0Issues:1Issues:0

roll-library

Regular Omega Language Learning Library

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

sv-benchmarks

Collection of Verification Tasks

Language:CStargazers:0Issues:1Issues:0

TextMessageClassification

Language:PythonStargazers:0Issues:1Issues:0