Giters
kikimo

kikimo

Geek Repo

32

followers

30

following

149

stars

Home Page:coderatwork.cn

Github PK Tool:Github PK Tool

kikimo's repositories

Zines

Language:GroffStargazers:1Issues:0Issues:0

FlameGraph

Stack trace visualizer

Language:PerlStargazers:0Issues:0Issues:0

goremote

golang implementation of remote execution base on ssh.

Language:GoStargazers:0Issues:2Issues:0

linearizability-checker

Fast linearizability checker

Stargazers:0Issues:0Issues:0

Malware

Course materials for Malware Analysis by RPISEC

Stargazers:0Issues:0Issues:0

MBE

Course materials for Modern Binary Exploitation by RPISEC

Language:CLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

nebula-graph

A distributed, fast open-source graph database featuring horizontal scalability and high availability

License:Apache-2.0Stargazers:0Issues:0Issues:0

perf-tools

Performance analysis tools based on Linux perf_events (aka perf) and ftrace

Language:ShellLicense:GPL-2.0Stargazers:0Issues:0Issues:0

raft-spin

A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

License:MITStargazers:0Issues:0Issues:0

raft-tla

License:NOASSERTIONStargazers:0Issues:0Issues:0

rr

Record and Replay Framework

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

trace-irqoff

Interrupts-off or softirqs-off latency tracer

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