Zhanghan Wang (RabbitWhite1)

RabbitWhite1

Geek Repo

Company:New York University

Location:New York University

Home Page:https://rabbitwhite1.github.io/

Github PK Tool:Github PK Tool


Organizations
code-nowww
USTC-CS-Course-Resource

Zhanghan Wang's starred repositories

veScale

A PyTorch Native LLM Training Framework

Language:PythonLicense:Apache-2.0Stargazers:472Issues:0Issues:0

GraphMETRO

Early release of the official implementation for "GraphMETRO: Mitigating Complex Graph Distribution Shifts via Mixture of Aligned Experts"

Language:PythonStargazers:6Issues:0Issues:0

stark

STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases (https://stark.stanford.edu/)

Language:PythonLicense:MITStargazers:249Issues:0Issues:0

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:473Issues:0Issues:0

PowerToys

Windows system utilities to maximize productivity

Language:C#License:MITStargazers:106798Issues:0Issues:0

onedrive

OneDrive Client for Linux

Language:DLicense:GPL-3.0Stargazers:9542Issues:0Issues:0

nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Language:PythonLicense:MITStargazers:34298Issues:0Issues:0

RustPython

A Python Interpreter written in Rust

Language:RustLicense:MITStargazers:18011Issues:0Issues:0

rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Language:RustLicense:Apache-2.0Stargazers:7097Issues:0Issues:0

LLMsPracticalGuide

A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)

Stargazers:8959Issues:0Issues:0

inshellisense

IDE style command line auto complete

Language:TypeScriptLicense:MITStargazers:8207Issues:0Issues:0

LM4CV

The official implementation of the paper **Learning Concise and Descriptive Attributes for Visual Recognition**

Language:PythonStargazers:35Issues:0Issues:0

TheVerificationOfDistributedSystem

Accompanying Repository for The Verification of a Distributed System Talk

Stargazers:178Issues:0Issues:0

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:1046Issues:0Issues:0

delve

Delve is a debugger for the Go programming language.

Language:GoLicense:MITStargazers:22339Issues:0Issues:0

DISC

Official code of "Discover and Cure: Concept-aware Mitigation of Spurious Correlation" (ICML 2023)

Language:PythonLicense:MITStargazers:34Issues:0Issues:0

LMFlow

An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.

Language:PythonLicense:Apache-2.0Stargazers:8112Issues:0Issues:0

FALCON-GLFrontiers

Official Code of "Efficient Automatic Graph Learning via Design Relations" (GLFrontiers Workshop NeurIPS 2022)

License:MITStargazers:5Issues:0Issues:0

gloo

Collective communications library with various primitives for multi-machine training.

Language:C++License:NOASSERTIONStargazers:1159Issues:0Issues:0

torchrec

Pytorch domain library for recommendation systems

Language:PythonLicense:BSD-3-ClauseStargazers:1776Issues:0Issues:0

HowToCook

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Language:DockerfileLicense:UnlicenseStargazers:62985Issues:0Issues:0

DIR-GNN

Official code of "Discovering Invariant Rationales for Graph Neural Networks" (ICLR 2022)

Language:PythonLicense:MITStargazers:115Issues:0Issues:0

Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

Language:RustLicense:MITStargazers:2782Issues:0Issues:0

CacheLib

Pluggable in-process caching engine to build and scale high performance services

Language:C++License:Apache-2.0Stargazers:1125Issues:0Issues:0

ReFine

Official code of "Towards Multi-Grained Explainability for Graph Neural Networks" (NeurIPS 2021) + Pytorch Implementation of recent attribution methods for GNNs

Language:Jupyter NotebookLicense:MITStargazers:62Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:9928Issues:0Issues:0

jbse

A symbolic Java virtual machine for program analysis, verification and test generation

Language:JavaLicense:GPL-3.0Stargazers:99Issues:0Issues:0

LegoOS

Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper.

Language:CLicense:GPL-2.0Stargazers:474Issues:0Issues:0

restler-fuzzer

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

Language:PythonLicense:MITStargazers:2515Issues:0Issues:0

FuzzingPaper

Recent Fuzzing Paper

License:MITStargazers:2305Issues:0Issues:0