guiyj

guiyj's Stars

• lqzhgood/wechat-need-web

  让微信网页版可用 / Allow the use of WeChat via webpage access

  Language:TypeScript1.7k153

• jonbarron/website

  Language:HTML2.5k2k

• Stirling-Tools/Stirling-PDF

  #1 Locally hosted web application that allows you to perform various operations on PDF files

  Language:Java43k3.5k

• rose-compiler/rose

  Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.

  Language:C600132

• QilinPTA/Qilin

  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

  Language:Java11830

• merrymercy/awesome-tensor-compilers

  A list of awesome compiler projects and papers for tensor computation and deep learning.

  2.3k295

• soot-oss/SootUp

  A new version of Soot with a completely overhauled architecture

  Language:Java56874

• dibingfa/flash-linux0.11-talk

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

  Language:HTML20k2.7k

• weggli-rs/weggli

  weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

  Language:Rust2.3k127

• google/souper

  A superoptimizer for LLVM IR

  Language:C++2.1k168

• GaloisInc/cclyzerpp

  cclyzer++ is a precise and scalable pointer analysis for LLVM code.

  Language:C++13515

• academicpages/academicpages.github.io

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

  Language:JavaScript11.9k42.5k

• Zongyin-Hao/SimpleWebServer

  简易Web服务器

  Language:C++9

• pascal-lab/Tai-e

  An easy-to-learn/use static analysis framework for Java

  Language:Java1.4k172

• jerrylususu/joplin-vacuum

  Removes attachments (resources) that are not referred in Joplin.

  Language:Python587

• facebookarchive/clangir

  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.

  1586

• arcsysu/SYsU-lang

  A mini, simple and modular compiler lab for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.

  Language:C20635

• pascal-lab/Tai-e-assignments

  Tai-e assignments for static program analysis

  Language:Java1.1k242

• antoinemine/apron

  Apron Numerical Abstract Domain Library

  Language:C11033

• rui314/chibicc

  A small C compiler

  Language:C9.6k875

• wmjordan/PDFPatcher

  PDF补丁丁——PDF工具箱，可以编辑书签、剪裁旋转页面、解除限制、提取或合并文档，探查文档结构，提取图片、转成图片等等

  Language:C#9.1k1.2k

• siriusdemon/iub_2009_P523_framework

  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there was any copyright issue. compiler passes copied from https://github.com/esaliya/SchemeStack

  249

• PL-Ninja/MySootScript

  oh my soot !

  Language:Java8812

• boyter/scc

  Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

  Language:Go6.6k261

• Zettlr/Zettlr

  Your One-Stop Publication Workbench

  Language:TypeScript10.2k626

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k588

• lhmouse/asteria

  The Asteria Programming Language

  Language:C++40331

• Tencent/flare

  Flare是广泛投产于腾讯广告后台的现代化C++开发框架，包含了基础库、RPC、各种客户端等。主要特点为易用性强、长尾延迟低。

  Language:C++1.3k199

• SVF-tools/Teaching-Software-Analysis

  Teaching and Learning Software Analysis via SVF

  Language:C++192117

• nidi3/graphviz-java

  Use graphviz with pure java

  Language:Java934106