sjxer723

sjxer723's Stars

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM29.9k58279.1k12.3k

• Anuken/Mindustry

  The automation tower defense RTS

  Language:Java23k5494.5k3k

• dibingfa/flash-linux0.11-talk

  你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码

  Language:HTML20.4k389592.8k

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml15k6021.4k2k

• unifyai/ivy

  The Unified AI Framework

  Language:Python14k7016.9k5.9k

• academicpages/academicpages.github.io

  Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

  Language:JavaScript12.8k9237644.7k

• SJTU-IPADS/PowerInfer

  High-speed Large Language Model Serving on PCs with Consumer-grade GPUs

  Language:C++8k78172418

• MystenLabs/sui

  Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

  Language:Rust6.4k1723.6k11.2k

• seL4/seL4

  The seL4 microkernel

  Language:C4.8k204429679

• oclint/oclint

  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

  Language:C++3.8k127431494

• move-language/move

  Language:Rust2.3k40287684

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k56611439

• rabbitmq/cluster-operator

  RabbitMQ Cluster Kubernetes Operator

  Language:Go89923499276

• sieve-project/sieve

  Automatic Reliability Testing for Kubernetes Controllers and Operators

  Language:Python330111921

• SRI-CSL/gllvm

  Whole Program LLVM: wllvm ported to go

  Language:Go306325834

• microsoft/PyCodeGPT

  A pre-trained GPT model for Python code completion and generation

  Language:Python269151443

• ryderling/DEEPSEC

  DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model

  Language:Python209131670

• thufv/CMinor-Verifier

  2022 年春季学期清华大学《软件分析与验证》课程实验平台

  Language:C#2045022

• SJTU-ACA-Lab/blue-porcelain

  1441520

• uuverifiers/eldarica

  The Eldarica model checker

  Language:Scala8155623

• Yunlongs/Goshawk

  Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.

  Language:C++8031015

• amiller/lambda-auth

  authenticated data structures, generically

  Language:Python50839

• metalift/metalift

  A program synthesis framework for verified lifting applications

  Language:LLVM473614

• diffblue/2ls

  Static Analyzer and Verifier

  Language:C++46128224

• qingkaishi/canary

  A unification-based alias analysis and related tools

  Language:C++304115

• formare/auctions

  Auction Theory Toolbox – Computer Verified Auctions

  Language:TeX1110443

• juda/Recursive-Subtyping-for-All

  The artifact of the paper "Recursive Subtyping for All"

  Language:Coq8101

• sjxer723/Tiger

  3100

• adava/LLVM-Loop-Profiler

  This LLVM pass performs loop analysis on source code files and gives some stats on the number of loops and their bound.

  Language:C++1200

• statinf-otawa/orange

  ORange, a tool for static loop bound analysis. Fork of https://git.renater.fr/anonscm/git/orange/orange.git. See https://sourcesup.renater.fr/projects/orange.

  Language:OCaml1100