Kui-Liu

Kui-Liu's Stars

• 996icu/996.ICU

  Repo for counting stars and contributing. Press F to pay respect to glorious developers.

  270k4.2k021.1k

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly60.2k1.3k3817.1k

• google/error-prone

  Catch common Java mistakes as compile-time errors

  Language:Java6.9k1591.7k746

• src-d/awesome-machine-learning-on-source-code

  Cool links & research papers related to Machine Learning applied to source code (MLonCode)

  6.3k35630843

• wuhan2020/wuhan2020

  新型冠状病毒防疫信息收集平台

  6k238312853

• phodal/aigc

  《构筑大语言模型应用：应用开发与架构设计》一本关于 LLM 在真实世界应用的开源电子书，介绍了大语言模型的基础知识和应用，以及如何构建自己的模型。其中包括Prompt的编写、开发和管理，探索最好的大语言模型能带来什么，以及LLM应用开发的模式和架构设计。

  Language:Rust1.4k264171

• GumTreeDiff/gumtree

  An awesome code differencing tool

  Language:Java94425266174

• Biulink/ShadowsocksTutorials

  Shadowsocks教程

  Language:Shell18915862

• SpoonLabs/nopol

  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

  Language:Java98910940

• GZoltar/gzoltar

  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com

  Language:Java7785834

• program-repair/program-repair.github.io

  Automated program repair bibliography, tools and benchmarks.

  Language:HTML77208736

• bugs-dot-jar/bugs-dot-jar

  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair

  522712

• Spirals-Team/defects4j-repair

  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs

  Language:Python356033

• xgdsmileboy/GenPat

  This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.

  Language:Java29729

• Adobee/ACS

  Accurate Condition Synthesis

  216520

• rholder/snowball-stemmer

  This is a repackaging of a version of the snowball-stemmer found at http://snowball.tartarus.org/ so that it's available on Maven Central.

  Language:Java192111

• sola-da/StaticBugCheckers

  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding tools including Google's Error Prone, Facebook's Infer, and Spotbugs.

  Language:Python11414