chenju2k6

chenju2k6's Stars

• merrymercy/awesome-tensor-compilers

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

  2.3k301

• facebook/infer

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

  Language:OCaml14.9k2k

• facebook/pyre-check

  Performant type-checking for python.

  Language:OCaml6.8k437

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.5k607

• huggingface/tokenizers

  💥 Fast State-of-the-Art Tokenizers optimized for Research and Production

  Language:Rust9k789

• huggingface/candle

  Minimalist ML framework for Rust

  Language:Rust15.6k924

• GitoxideLabs/gitoxide

  An idiomatic, lean, fast & safe pure Rust implementation of Git

  Language:Rust8.9k304

• sharkdp/fd

  A simple, fast and user-friendly alternative to 'find'

  Language:Rust33.8k806

• paradigmxyz/reth

  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

  Language:Rust3.9k1.1k

• astral-sh/uv

  An extremely fast Python package and project manager, written in Rust.

  Language:Rust23k668

• chenju2k6/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  1

• chenju2k6/llama.cpp

  LLM inference in C/C++

  1

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17.6k1.3k

• Bramas/hotcrp-docker-compose

  An easy docker-compose deployement of hotcrp

  Language:PHP1510

• m3n0sd0n4ld/GooFuzz

  GooFuzz is a tool to perform fuzzing with an OSINT approach, managing to enumerate directories, files, subdomains or parameters without leaving evidence on the target's server and by means of advanced Google searches (Google Dorking).

  Language:Shell1.3k136

• mingjun97/ucr_mfa_crx

  A chrome extension for auto-filling ucr mfa.

  Language:JavaScript81

• mingjun97/pask

  A serverless game backend for CS208@UCR

  Language:Python1

• R-Fuzz/jigsaw

  JIGSAW is a fuzzing-based path constraint solver.

  Language:C++688

• AFLplusplus/LibAFL

  Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

  Language:Rust2k312

• tkaitchuck/aHash

  aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

  Language:Rust1k101

• cmuparlay/parlaylib

  A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines

  Language:C++31559

• rust-ethereum/evm

  Pure Rust implementation of Ethereum Virtual Machine

  Language:Rust1.2k359

• HexHive/magma

  A ground-truth fuzzing benchmark suite based on real programs with real bugs.

  Language:HTML28783

• tokio-rs/tracing

  Application level tracing for Rust.

  Language:Rust5.4k713

• ekzhang/crepe

  Datalog compiler embedded in Rust as a procedural macro

  Language:Rust45716

• ChengyuSong/Kirenenko

  Super Fast Concolic Execution Engine based on Source Code Taint Tracing

  Language:C++9710

• apache/incubator-teaclave

  Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

  Language:Rust759158

• mesalock-linux/gbdt-rs

  MesaTEE GBDT-RS : a fast and secure GBDT library, supporting TEEs such as Intel SGX and ARM TrustZone

  Language:Rust20625

• apache/incubator-teaclave-sgx-sdk

  Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

  Language:Rust1.2k259

• basicthinker/YCSB-C

  Yahoo! Cloud Serving Benchmark in C++, a C++ version of YCSB (https://github.com/brianfrankcooper/YCSB/wiki)

  Language:C14980