Giters
V4kst1z (v4kst1z)

v4kst1z

Geek Repo

41

followers

61

following

348

stars

Twitter:@V4kst1z

Github PK Tool:Github PK Tool

V4kst1z's starred repositories

awesome-rust

A curated list of Rust code and resources.

Language:RustLicense:CC0-1.0Stargazers:45548Issues:816Issues:134

babel

🐠 Babel is a compiler for writing next generation JavaScript.

Language:TypeScriptLicense:MITStargazers:43140Issues:811Issues:8833

Blog

冴羽写博客的地方，预计写四个系列：JavaScript深入系列、JavaScript专题系列、ES6系列、React系列。

Stargazers:30647Issues:1239Issues:314

tikv

Distributed transactional key-value database, originally created to complement TiDB

Language:RustLicense:Apache-2.0Stargazers:14933Issues:307Issues:5132

infer

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

Language:OCamlLicense:MITStargazers:14879Issues:603Issues:1368

muduo

Event-driven network library for multi-threaded Linux server in C++11

Language:C++License:NOASSERTIONStargazers:14631Issues:779Issues:374

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellStargazers:8935Issues:398Issues:271

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Language:CodeQLLicense:MITStargazers:7470Issues:231Issues:2196

awesome-embedded-rust

Curated list of resources for Embedded and Low-level development in the Rust programming language

License:NOASSERTIONStargazers:6015Issues:167Issues:38

Cplusplus-Concurrency-In-Practice

A Detailed Cplusplus Concurrency Tutorial 《C++ 并发编程指南》

Language:C++License:MITStargazers:5279Issues:463Issues:11

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Language:CLicense:Apache-2.0Stargazers:4934Issues:76Issues:789

shareOI

算法竞赛课件分享

Stargazers:3856Issues:95Issues:6

nix

Rust friendly bindings to *nix APIs

Language:RustLicense:MITStargazers:2590Issues:29Issues:693

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Language:RustLicense:Apache-2.0Stargazers:2282Issues:19Issues:298

PL-Compiler-Resource

程序语言与编译技术相关资料（持续更新中）

License:CC-BY-SA-4.0Stargazers:1986Issues:81Issues:5

SVF

Static Value-Flow Analysis Framework for Source Code

Language:C++License:NOASSERTIONStargazers:1386Issues:56Issues:577

pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

Language:JavaLicense:Apache-2.0Stargazers:1382Issues:45Issues:72

linux-kernel-module-rust

Framework for writing Linux kernel modules in safe Rust

Language:RustLicense:GPL-2.0Stargazers:1331Issues:66Issues:96

phasar

A LLVM-based static analysis framework.

Language:C++License:NOASSERTIONStargazers:930Issues:30Issues:184

chromium-ipc-sniffer

A tool to capture communication between Chromium processes on Windows

Language:LuaLicense:GPL-3.0Stargazers:360Issues:15Issues:9

type-inference

The Hindley Milner Type Inference Algorithm

Language:OCamlStargazers:358Issues:12Issues:7

TIP

Static program analysis for TIP

Language:ScalaStargazers:280Issues:24Issues:13

DIE

Fuzzing JavaScript Engines with Aspect-preserving Mutation

Language:TypeScriptLicense:MITStargazers:219Issues:32Issues:24

ASRock-Z390-Phantom-ITX-OpenCore-Hackintosh

华擎z390PhantomITX黑苹果OpenCore

Stargazers:164Issues:20Issues:33

sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Language:C++License:NOASSERTIONStargazers:156Issues:12Issues:59

Windows-GDI-fuzzer

Windows Graphics Device Interface (GDI+) fuzzer

Language:HTMLStargazers:126Issues:7Issues:0

iron-llvm

Safe Rust LLVM bindings

Language:RustLicense:Apache-2.0Stargazers:119Issues:6Issues:3

TIP

Static Program Analysis for TIP, in Rust

Language:RustStargazers:5Issues:1Issues:0

sleigh

Language:RustStargazers:4Issues:3Issues:0

SATIP

Static Analysis of TIP

Language:OCamlStargazers:2Issues:0Issues:0