Bitcoin Core integration/staging tree

支持连表查询的mybatis-plus,mybatis-plus风格的连表操作提供wrapper.leftJoin(),wrapper.rightJoin()等操作

基于Python的开源量化交易平台开发框架

「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！

Maple's concurrency bug archive re-oraganized so that I can easily generate LLVM-IR code from each project.

南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 🍚​

提供同花顺客户端/国金/华泰客户端/雪球的基金、股票自动程序化交易以及自动打新，支持跟踪 joinquant /ricequant 模拟交易 和 实盘雪球组合, 量化交易组件

A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.

😉 Pretty nice Zookeeper GUI, Support Win / Mac / Linux Platform

Distributed Configuration Management Platform(分布式配置管理平台)

A distributed key-value storage system developed by Alibaba Group

Next Generation Vue UI Component Library

VR developers necessary resources(VR 开发者必备资源汇总)

The Python programming language

A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid

Static Jimple Slicer for Android Apps

Automatically exported from code.google.com/p/tanalysis

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.

A Program Analysis Toolkit for Android

Soot-based MHP Analysis

User-friendly documentation for the SARIF file format.

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

Taming Reflection to Support Whole-Program Analysis of Android Apps

COVA - A static analysis tool to compute path conditions

DroidSafe Android Static Analysis Source Repository

ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications