Pinned Repositories
codeforces
go
The Go programming language
hello_go_gql
hoax
learn-goroutine
Some code that helps me learn goroutine
logkomp2016
Computational Logic Assignment: SAT Solver
ObatABC
T1_DDP2_Ganjil2017
tabdual-plus
TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption
XTS-AES_CIS_2016
Repo untuk tugas 1 CIS 2016
syukrimullia's Repositories
syukrimullia/tabdual-plus
TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption
syukrimullia/codeforces
syukrimullia/go
The Go programming language
syukrimullia/hello_go_gql
syukrimullia/hoax
syukrimullia/learn-goroutine
Some code that helps me learn goroutine
syukrimullia/logkomp2016
Computational Logic Assignment: SAT Solver
syukrimullia/ObatABC
syukrimullia/T1_DDP2_Ganjil2017
syukrimullia/XTS-AES_CIS_2016
Repo untuk tugas 1 CIS 2016