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/bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
Geoffrey1014/SJTU
Geoffrey1014/hybrid_dft
hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC
Geoffrey1014/janala2
a concolic testing engine for Java
Geoffrey1014/kleefl
Seeding fuzzers with symbolic execution
Geoffrey1014/6035-compilers
Decaf (Simplified C) Compiler for @MIT 6.035
Geoffrey1014/csapp
Computer Systems: A Programmer's Perspective
Geoffrey1014/pylite
A tiny python interpreter for educational purpose
Geoffrey1014/AndroidTestScripts
Android测试中常用到的脚本
Geoffrey1014/Udacity-Gradle
Gradle Lessons through Udacity
Geoffrey1014/GradleDemo
Gradle插件开发极简教程
Geoffrey1014/iec61131-parser
Parsers for IEC 61131-3 grammar
Geoffrey1014/Compiler_Experiment
编译原理,使用 Java 实现的词法,语法,语义分析器
Geoffrey1014/caut-lib
a CIL-based dynamic symbolic execution (DSE) engine for C language
Geoffrey1014/dragon-book-practice-answer
Compilers Principles, Techniques, & Toos (purple dragon book) second edition practice answer. 编译原理(紫龙书)第2版习题答案。