Kensuke-Hinata

greedy is bad

redocpotShenzhen, China

Pinned Repositories

99-lisp-problems
99 lisp problems
Language:D2 2 00
actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
Language:Rust1 2 00
aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
Language:Python1 2 00
frontend-widget
some widgets written in Marionette.
Language:JavaScript4 2 02
Kensuke-Hinata
2 3 01
Kensuke-Hinata.github.io
Language:JavaScript4 2 00
microblog
a micro blog implemented with express, mongodb, bootstrap and ejs.
Language:JavaScript3 3 00
miscellaneous
just for fun
Language:D6 3 01
statistic
collecting books, papers and docs.
2k 83 6982
taichi
The Taichi programming language
Language:C++2 2 00

Kensuke-Hinata's Repositories

Kensuke-Hinata/statistic
collecting books, papers and docs.
2k 83 6982
Kensuke-Hinata/miscellaneous
just for fun
Language:D6 3 01
Kensuke-Hinata/CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台
Language:C#1 1 0
Kensuke-Hinata/OI-wiki
:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
Language:TypeScript1 2 0
Kensuke-Hinata/Tai-e
An easy-to-learn/use static analysis framework for Java
Language:Java1 2 0
Kensuke-Hinata/vim
vim config
Language:Vim Script1 2 0
Kensuke-Hinata/wa
🇨🇳 凹语言™ The Wa Programming Language
Language:Go1 2 0
Kensuke-Hinata/ACMFinalsSolutions
SnapDragon's solutions for the ACM ICPC World Finals problems.
Kensuke-Hinata/bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Language:C1 0
Kensuke-Hinata/bpftrace
High-level tracing language for Linux eBPF
Language:C++2 0
Kensuke-Hinata/coding-competitions-archive
Google Coding Competitions problem archive
Language:HTML1 0
Kensuke-Hinata/codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
Language:C++1 0
Kensuke-Hinata/cpcontests
Library of my solutions for various programming contests
Language:C++2 0
Kensuke-Hinata/fbctf-2019-challenges
The challenge source code and solutions for FBCTF 2019
Kensuke-Hinata/folly
An open-source C++ library developed and used at Facebook.
Language:C++1 0
Kensuke-Hinata/gcc
Kensuke-Hinata/gofind
gofind searches through Go source code by types.
Language:Go1 0
Kensuke-Hinata/google-ctf
Google CTF
Language:Go1 0
Kensuke-Hinata/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR1 0
Kensuke-Hinata/hcl
HCL is the HashiCorp configuration language.
Language:Go1 0
Kensuke-Hinata/klee
KLEE Symbolic Execution Engine
Language:C++1 0
Kensuke-Hinata/locust
Write scalable load tests in plain Python 🚗💨
Kensuke-Hinata/perf-tools
Performance analysis tools based on Linux perf_events (aka perf) and ftrace
Language:Shell1 0
Kensuke-Hinata/pingora
A library for building fast, reliable and evolvable network services.
Kensuke-Hinata/playwright
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
Kensuke-Hinata/prajna
a program language for AI infrastructure
Language:C++2 0
Kensuke-Hinata/SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1 0
Kensuke-Hinata/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:Go2 0
Kensuke-Hinata/TopCoder
Language:Java3 01
Kensuke-Hinata/wiremock
A tool for mocking HTTP services