geoffrey1014 Goto Github PK

geohashdroid

A Geohashing app for Android devices

gitskill

gradledemo

Gradle插件开发极简教程

home

hybrid_dft

hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC

iec61131-parser

Parsers for IEC 61131-3 grammar

industrialauto

janala2

a concolic testing engine for Java

java-skeleton

Java Skeleton Code for 6.035

kkndme_tianya

天涯 kkndme 神贴聊房价

kleefl

Seeding fuzzers with symbolic execution

learngit

learning-sicp

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

leetcode

Play Leetcode with different programming language

materialfbook

A light alternative client for Facebook based on the web with a modern look (Material Design)

mit6.828_os

MIT 6.828 Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html

mybooks-1

nextcloud

📱 Nextcloud Android app

omni-notes

Open source note-taking application for Android

osmeditor4android

Vespucci is a OpenStreetMap editor for Android

pegen

PEG parser generator for Python

phonograph

A material designed music player for Android

pj1

pushdown

Java library for pushdown systems

pylite

A tiny python interpreter for educational purpose

pynguin

The PYthoN General UnIt Test geNerator is a test-generation tool for Python

pytorch-project

Some pytorch projects self-fork

sa-defects

Static Analyzer Defects Repo

scarlet-notes

Simple yet powerful rich note taking android application, with a lot of flexibilty of usage

security-courseware

Courseware for computer system security course at HIT