diff options
Diffstat (limited to 'people.json')
-rw-r--r-- | people.json | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/people.json b/people.json index 155858b..3652818 100644 --- a/people.json +++ b/people.json @@ -619,5 +619,20 @@ "link": "./entries/joeyshi12/vimscript/fib.vim" } ] - } + }, + { + "github": "gerui", + "name": "Rui Ge", + "title": "PhD Candidate, UBC", + "entries": [ + { + "name": "gfib.ml", + "link": "./entries/gerui/gfib.ml" + }, + { + "name": "fib.pl", + "link": "./entries/gerui/fib.pl" + } + ] + } ] |