Giters
Boqin Qin(秦 伯钦) (BurtonQin)

BurtonQin

Geek Repo

69

followers

17

following

327

stars

Location:Haidian District, Beijing

Home Page:burtonqin.github.io

Github PK Tool:Github PK Tool

Boqin Qin(秦 伯钦)'s repositories

lockbud

Statically detect Rust deadlocks bugs

Language:RustLicense:BSD-3-ClauseStargazers:354Issues:9Issues:21

go-ethereum

Official Go implementation of the Ethereum protocol

Language:GoLicense:LGPL-3.0Stargazers:1Issues:2Issues:0

markdown_advanced_template

Markdown to docx/pdf with TOC、Ref and Bib; 将Markdown转成带目录、引用和参考文献的docx或pdf

Language:ShellLicense:NOASSERTIONStargazers:1Issues:3Issues:0

GCatch

Statically Detecting Go Concurrency Bugs

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

GFuzz

Fuzzing concurrent Go programs

Language:GoLicense:MITStargazers:0Issues:2Issues:0

burtonqin.github.io

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

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

Chinese-LLaMA-Alpaca

中文LLaMA&Alpaca大语言模型+本地部署 (Chinese LLaMA & Alpaca LLMs)

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

conflux-rust

The official Rust implementation of Conflux protocol. https://developer.confluxnetwork.org

Language:RustLicense:GPL-3.0Stargazers:0Issues:1Issues:0

core-rs-albatross

Rust implementation of the Albatross protocol

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

discv5

Rust implementation of Discovery v5

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

KinectFusion

KinectFusion implemented in Python with PyTorch

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

KinectFusion_2022

Language:C++Stargazers:0Issues:1Issues:0

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustStargazers:0Issues:2Issues:0

move

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

mypointer

Fork from golang.org/x/tools/go/pointer@v0.1.0-deprecated

Language:GoStargazers:0Issues:2Issues:0

openethereum-1

The fast, light, and robust client for the Ethereum mainnet.

Language:RustLicense:GPL-3.0Stargazers:0Issues:2Issues:0

quorum

A permissioned implementation of Ethereum supporting data privacy

Language:GoLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

Rudra

Rust Memory Safety & Undefined Behavior Detection

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

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rust-dlopen

Rust library for opening and working with dynamic link libraries.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

segment-anything

The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:1Issues:0

sol-pass

Solang LLVM bitcode analysis passes

Language:C++License:MITStargazers:0Issues:2Issues:0

solana

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

solana-escrow

Language:RustLicense:WTFPLStargazers:0Issues:2Issues:0

stuck-me-not

Stuck-me-not: A deadlock detector on blockchain software in Rust

License:BSD-3-ClauseStargazers:0Issues:2Issues:0

synsin

View synthesis for the public.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

tikv

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

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

tracing

Application level tracing for Rust.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

wasmer

🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten

Language:RustLicense:MITStargazers:0Issues:2Issues:0

zksync

zkSync: trustless scaling and privacy engine for Ethereum

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