zhu1971 Goto Github PK

static-analysis

静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享

static-program-analysis-book

Getting started with static program analysis. 静态程序分析入门教程。

stone

两周自制脚本语言代码实现

stone-prover

stone-prover-rs

starkware stone prover in Rust

substrate

Substrate: The platform for blockchain innovators

substrate-node-template

A new FRAME-based Substrate node, ready for hacking.

substrate-package

Known working releases of the Substrate Node Template, Substrate Module Template, and Substrate UI.

substrate-ui

Bondy Polkadot UI

sudoku-zk-snarks

A libsnark's tutorial on sudoku

susi

SuSi - our tool to automatically discover sources and sinks in the Android framework

swan

Security methods for WeAkNess detection

swc

swc is a super-fast compiler written in rust; producing widely-supported javascript from modern standards and typescript.

swc-registry

Smart Contract Weakness Classification and Test Cases

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

tabby

A CAT called tabby ( Code Analysis Tool )

tabby-path-finder

A neo4j procedure for tabby

tai-e

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

taint-analysis

Static context-insensitive taint analysis on an intermediate representation of Java Programs.

taintanalysis

Taint analysis implementation based on Heros and Soot

talent-plan

open source training courses about distributed database and distributed systemes

tempmail

temporary e-mail address appliance including MTA and web frontend

tensorflow-onnx

Convert TensorFlow, Keras, Tensorflow.js and Tflite models to ONNX

the-algorithm

Source code for Twitter's Recommendation Algorithm

thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

tiger_exercises

我也学《现代编译原理》(虎书) 并练习 Rust 实现

tinyexpr

tiny recursive descent expression parser, compiler, and evaluation engine for math expressions

tinyid

ID Generator id生成器 分布式id生成系统，简单易用、高性能、高可用的id生成系统

tip

Static program analysis for TIP

tokei

Count your code, quickly.