Giters
tungvx

tungvx

Geek Repo

2

followers

3

following

17

stars

Github PK Tool:Github PK Tool

tungvx's repositories

report_tool

this is our thesis

Language:PythonStargazers:5Issues:4Issues:0

first_app

my first app ruby on rails

Language:RubyStargazers:2Issues:2Issues:0

raSAT

raSAT - an smt solver for polynomial constraints

Language:TeXStargazers:2Issues:2Issues:0

demo_app

nothing

Language:RubyStargazers:1Issues:2Issues:0

demo_app2

nothing to say

Language:RubyStargazers:1Issues:2Issues:0

deploy

deploy

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

qlnt

qlnt with reporting

Language:PythonStargazers:1Issues:4Issues:0

reporting

this is reporting app, which is pluggable. Each time it is plugged into another project, it is modified. So this repository is used for update source code of this app.

Language:PythonStargazers:1Issues:0Issues:0

sample_app

Language:RubyStargazers:1Issues:2Issues:0

smt_test_tools

set of tools for testing smt over jaist parallel computers

Language:PythonStargazers:1Issues:2Issues:0

survey

this is the survey application

Language:RubyStargazers:1Issues:2Issues:0

survey_tung_hieu

Language:RubyStargazers:1Issues:2Issues:0

FSE

Language:CStargazers:0Issues:2Issues:0

FSE2

second ass

Language:CStargazers:0Issues:2Issues:0

minor-research

this is my minor research

Language:TeXStargazers:0Issues:2Issues:0

PL_ASS2

Language:CStargazers:0Issues:2Issues:0