Seng Keat's repositories
klint
Lints for kernel or embedded system development.
system-design-101
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
shellcheck
ShellCheck, a static analysis tool for shell scripts
CheatSheetSeries
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
bore-socket-programming
🕳 bore is a simple CLI tool for making tunnels to localhost
devops-exercises
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
blackhat-arsenal-tools
Official Black Hat Arsenal Security Tools Repository
LinuxCommandLibrary
1M+ downloads Linux reference app with basics, tips and formatted man pages
vscode-go
Go extension for Visual Studio Code
awesome-hacking-list
A curated list of awesome Hacking tutorials, tools and resources
linux-kernel-exploitation
A collection of links related to Linux kernel security and exploitation
curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
OpenAPI-Specification
The OpenAPI Specification Repository
awesome-json
A curated list of awesome JSON libraries and resources.
leetcode
Python & JAVA Solutions for Leetcode
SoloMinerV2
New Version Solo Miner with High Speed for mining Bitcoin With all System (Bitcoin Mining , BTC Miner)
RedisInsight
Redis GUI by Redis
Solidity-Programming-Essentials-Second-Edition
Solidity Programming Essentials, Second Edition, published by Packt
rocket-chip
Rocket Chip Generator
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
evm-opcodes
Ethereum opcodes and instruction reference
awesome-appsecurity-standard
A curated list of resources for learning about application security
GoBook-list-down
List of Golang books
MPCTT
Modeling and Proving in Computational Type Theory
pipeline-examples
A collection of examples, tips and tricks and snippets of scripting for the Jenkins Pipeline plugin
solidity-patterns
A compilation of patterns and best practices for the smart contract programming language Solidity
Smart-Contract-eth-words-
Eth terms and code explained and weak point of each terms