QifanWang

QifanWang's Stars

• doocs/advanced-java

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

  Language:Java75.8k2.6k14619k

• freefq/free

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

  36.9k8456685.8k

• DIYgod/RSSHub

  🧡 Everything is RSSible

  Language:TypeScript32.6k3445.5k7.3k

• v2fly/v2ray-core

  A platform for building proxies to bypass network restrictions.

  Language:Go29.1k4359564.6k

• openjdk/jdk

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

  Language:Java19.5k33205.5k

• emirpasic/gods

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

  Language:Go16.2k3331191.8k

• google/benchmark

  A microbenchmark support library

  Language:C++8.9k2037431.6k

• cp-algorithms/cp-algorithms

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

  Language:C++7.5k1053461.6k

• redleafnew/Chinese-STD-GB-T-7714-related-csl

  GB/T 7714相关的csl以及Zotero使用技巧及教程。

  Language:XML4.9k18264818

• kaieye/2022-Machine-Learning-Specialization

  Language:Jupyter Notebook4.2k14291.6k

• remzi-arpacidusseau/ostep-projects

  Projects for an undergraduate OS course

  Language:C4.2k70201.2k

• parallel101/course

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

  Language:C++3.7k5428538

• mellow-io/mellow

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

  Language:JavaScript3.5k76277469

• soot-oss/soot

  Soot - A Java optimization framework

  Language:Java2.9k1011.2k706

• remzi-arpacidusseau/ostep-homework

  Language:Python2k1927974

• JetBrains/intellij-platform-gradle-plugin

  Gradle plugin for building plugins for IntelliJ-based IDEs

  Language:Kotlin1.4k761k271

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k4540198

• ivan-vasilev/neuralnetworks

  java deep learning algorithms and deep neural networks with gpu acceleration

  Language:Java1.2k17442361

• pascal-lab/Tai-e-assignments

  Tai-e assignments for static program analysis

  Language:Java1.1k522242

• whutug/whu-thesis

  :memo: 武汉大学毕业论文 LaTeX 模版 2024

  Language:TeX93111149200

• dun/munge

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

  Language:C2431013546

• JetBrains/intellij-plugin-verifier

  Compatibility verification tool for IntelliJ Platform plugins

  Language:Kotlin17841038

• silverbullettt/zipper

  Precision-guided context sensitivity for pointer analysis

  Language:Java583312

• opalj/opal

  Language:Scala5063224

• Gu-Youngfeng/CraTer

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

  Language:Java7202

• opprop/checker-framework-inference

  Inference of pluggable types for Java

  Language:Java638813

• facumolina/evospex

  EvoSpex: A Search-based Tool for Postcondition Inference

  Language:Java4300

• facumolina/evospex-ae

  Artifact of EvoSpex for Artifact Evaluation at ICSE 2021

  30

• Gu-Youngfeng/CraTer-Tool

  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.

  Language:Java2200

• roterEmil/CiFi

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

  Language:Java2200