Pinned Repositories
100-days-of-code
Fork this template for the 100 days journal - to keep yourself accountable (multiple languages available)
ace
Ace (Ajax.org Cloud9 Editor)
basejs
Base node.js project
compilebox
Compile and run user-submitted code in a docker based sandbox.
cpn2pn
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
cpncourse
Coloured Petri Nets and CPN Tools Course
cs_console
The console ui used in Code School courses
DNIIT
DNIIT's source codes
glot
Pastebin with runnable snippets and API
openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
thanh-tuan's Repositories
thanh-tuan/100-days-of-code
Fork this template for the 100 days journal - to keep yourself accountable (multiple languages available)
thanh-tuan/ace
Ace (Ajax.org Cloud9 Editor)
thanh-tuan/basejs
Base node.js project
thanh-tuan/compilebox
Compile and run user-submitted code in a docker based sandbox.
thanh-tuan/cpn2pn
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
thanh-tuan/cpncourse
Coloured Petri Nets and CPN Tools Course
thanh-tuan/cs_console
The console ui used in Code School courses
thanh-tuan/DNIIT
DNIIT's source codes
thanh-tuan/glot
Pastebin with runnable snippets and API
thanh-tuan/openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
thanh-tuan/Remote-Control-PC
Control Laptop using Android. Remote control PC consists of android as well as desktop app written in Java to control laptop using phone.
thanh-tuan/Thesis
My Master's Thesis, titled Design and Evaluation of a Framework for Annotating Coloured Petri Net Models with Code Generation Pragmatics
thanh-tuan/web
thanh-tuan/webbymouse
Turn your mobile phone into Air Mouse and touchpad with full web technology
thanh-tuan/website_DNIIT