ypcpy (Kensuke-Hinata)

Kensuke-Hinata

Geek Repo

Company:redocpot

Location:Shenzhen, China

Home Page:github.com/Kensuke-Hinata

Github PK Tool:Github PK Tool


Organizations
brokercap

ypcpy's repositories

statistic

collecting books, papers and docs.

miscellaneous

just for fun

Language:C++Stargazers:6Issues:3Issues:0

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

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

CMinor-Verifier

2022 年春季学期清华大学《软件分析与验证》课程实验平台

Language:C#License:GPL-3.0Stargazers:1Issues:1Issues:0

ctf-wiki

Come and join us, we need you!

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

OI-wiki

:star2: Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)

Language:TypeScriptStargazers:1Issues:2Issues:0

Tai-e

An easy-to-learn/use static analysis framework for Java

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

vim

vim config

Language:Vim ScriptStargazers:1Issues:2Issues:0

wa

🇨🇳 凹语言™ The Wa Programming Language

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

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

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

bpftrace

High-level tracing language for Linux eBPF

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

coding-competitions-archive

Google Coding Competitions problem archive

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

codon

A high-performance, zero-overhead, extensible Python compiler using LLVM

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

cpcontests

Library of my solutions for various programming contests

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

fbctf-2019-challenges

The challenge source code and solutions for FBCTF 2019

License:MITStargazers:0Issues:0Issues:0

folly

An open-source C++ library developed and used at Facebook.

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

gofind

gofind searches through Go source code by types.

Language:GoStargazers:0Issues:1Issues:0

google-ctf

Google CTF

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

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRLicense:MITStargazers:0Issues:1Issues:0

hcl

HCL is the HashiCorp configuration language.

Language:GoLicense:MPL-2.0Stargazers:0Issues:1Issues:0

klee

KLEE Symbolic Execution Engine

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

locust

Write scalable load tests in plain Python 🚗💨

License:MITStargazers:0Issues:0Issues:0

perf-tools

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

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

playwright

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

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

prajna

a program language for AI infrastructure

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

SVF

Static Value-Flow Analysis Framework for Source Code

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

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

Language:GoLicense:MPL-2.0Stargazers:0Issues:2Issues:0
Language:JavaLicense:MITStargazers:0Issues:3Issues:0

wiremock

A tool for mocking HTTP services

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