8000 yuchenkan / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View yuchenkan's full-sized avatar
1 follower · 3 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report yuchenkan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

evanw / node-source-map-support

Adds source map support to node.js (for stack traces)

JavaScript 2,182 225 Updated Aug 3, 2024

rocq-prover / rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

OCaml 5,086 682 Updated May 6, 2025

UCSD-PL / proverbot9001

Coq 41 19 Updated Jan 20, 2025

jakehilborn / displayplacer

macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.

C 4,035 144 Updated Jun 5, 2024

Z3Prover / z3

The Z3 Theorem Prover

C++ 10,946 1,528 Updated May 5, 2025

google / sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

C 11,920 1,064 Updated Mar 24, 2025

yuchenkan / ers

A deterministic record/replay framework for multi-threaded programs based on marking synchronization primitives.

C 2 Updated Feb 10, 2020

yuchenkan / multi-paxos

A demo for paxos and multi-paxos

C++ 1 Updated Nov 8, 2019

HealsCodes / vim-gas

Advanced syntax highlighting for GNU As

Vim Script 148 21 Updated Dec 28, 2023

zyantific / zydis

Fast and lightweight x86/x86-64 disassembler and code generation library

C 3,689 446 Updated May 6, 2025

rr-debugger / rr

Record and Replay Framework

C++ 9,781 612 Updated May 5, 2025

angr / pyvex

Python bindings for Valgrind's VEX IR.

Python 352 117 Updated May 6, 2025

yuchenkan / gcc-jump

C code browser

C++ 24 3 Updated Aug 11, 2018
0