A collection of TLA⁺ specifications of varying complexities.

Artifact of EvoSpex for Artifact Evaluation at ICSE 2021

EvoSpex: A Search-based Tool for Postcondition Inference

GoDS (Go Data Structures) - Sets, Lists, Stacks, Maps, Trees, Queues, and much more

高性能并行编程与优化 - 课件

A platform for building proxies to bypass network restrictions.

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

Tai-e assignments for static program analysis

Soot - A Java optimization framework

A microbenchmark support library

This is the artifact for the paper: "CiFi: Versatile Analysis of Class and Field Immutability" published at ASE21.

中文 CSL 样式 - Zotero 中文社区

Precision-guided context sensitivity for pointer analysis

Inference of pluggable types for Java

MUNGE (MUNGE Uid 'N' Gid Emporium) is an authentication service for creating and validating user credentials.

java deep learning algorithms and deep neural networks with gpu acceleration

Projects for an undergraduate OS course

🧡 Everything is RSSible

Mellow is a rule-based global transparent proxy client for Windows, macOS and Linux. Also a Proxifier alternative.

Gradle plugin for building plugins for JetBrains IDEs

Compatibility verification tool for IntelliJ Platform plugins

CraTer-Tool is a light-weight crash localization tool for Java programs, it analyze the crash information and predict whether or not the crashing-fault reside inside the stack trace.

CraTer is an open-source Java tool which is the prototype in paper "Does the Fault Reside in a Stack Trace?"

JDK main-line development https://openjdk.org/projects/jdk

武汉大学毕业论文 LaTeX 模版 2025

😮 Core Interview Questions & Answers For Experienced Java(Backend) Developers | 互联网 Java 工程师进阶知识完全扫盲：涵盖高并发、分布式、高可用、微服务、海量数据处理等领域知识

翻墙、免费翻墙、免费科学上网、免费节点、免费梯子、免费ss/v2ray/trojan节点、蓝灯、谷歌商店、翻墙梯子