Pinned Repositories
6035-compilers
Decaf (Simplified C) Compiler for @MIT 6.035
ActivityDiary
Android diary for any kind of activities
algorithms
AmazeFileManager
Material design file manager for Android
and-bible
Bible Study app, by And Bible Open Source Project
AndroidTestScripts
Android测试中常用到的脚本
Anki-Android
AnkiDroid: Anki on Android
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
geo.github.io
SA_Bugs
record bugs of static analyzers
Geoffrey1014's Repositories
Geoffrey1014/SA_Bugs
record bugs of static analyzers
Geoffrey1014/geo.github.io
Geoffrey1014/Geoffrey1014.github.io
Academic personal websites, forked from academicpages/academicpages.github.io
Geoffrey1014/SVF
Static Value-Flow Analysis Framework for Source Code
Geoffrey1014/ActivityDiary
Android diary for any kind of activities
Geoffrey1014/AmazeFileManager
Material design file manager for Android
Geoffrey1014/and-bible
Bible Study app, by And Bible Open Source Project
Geoffrey1014/Anki-Android
AnkiDroid: Anki on Android
Geoffrey1014/APhotoManager
Manage local photos on Android: gallery, geotag with photomap, privacy, tags, find, sort, view, copy, send, ... .
Geoffrey1014/collect
ODK Collect is an Android app for filling out forms. It's been used to collect billions of data points in challenging environments around the world. Contribute and make the world a better place! ✨📋✨
Geoffrey1014/Cpp-Primer
C++ Primer 5 answers
Geoffrey1014/Cpp-Primer-Plus-6th
《C++ Primer Plus 第6版(中文版)》原书代码、习题答案和个人笔记,仅供学习和交流。
Geoffrey1014/droidbot
A lightweight test input generator for Android. Similar to Monkey, but with more intelligence and cool features!
Geoffrey1014/FirefoxLite
Emerging Market Experiment
Geoffrey1014/Frost-for-Facebook
An extensive and functional third party app for Facebook
Geoffrey1014/geohashdroid
A Geohashing app for Android devices
Geoffrey1014/home
Geoffrey1014/IndustrialAuto
Geoffrey1014/kkndme_tianya
天涯 kkndme 神贴聊房价
Geoffrey1014/nextCloud
📱 Nextcloud Android app
Geoffrey1014/Omni-Notes
Open source note-taking application for Android
Geoffrey1014/osmeditor4android
Vespucci is a OpenStreetMap editor for Android
Geoffrey1014/pegen
PEG parser generator for Python
Geoffrey1014/SA-Defects
Static Analyzer Defects Repo
Geoffrey1014/Scarlet-Notes
Simple yet powerful rich note taking android application, with a lot of flexibilty of usage
Geoffrey1014/Security-Courseware
Courseware for computer system security course at HIT
Geoffrey1014/sunflower
A gardening app illustrating Android development best practices with Android Jetpack.
Geoffrey1014/Themis
The Themis Benchmark for evaluating automated GUI testing
Geoffrey1014/WordPress-Android
WordPress for Android
Geoffrey1014/YYS
阴阳师自动挂机脚本(挂机御魂,觉醒,探索狗粮,斗技,百鬼夜行)