Pinned Repositories
ECDSA
ECDSA Keypair Generator
gochan
Adopts Golang principles for effective thread communication in Haskell
grparser
Rust-binding for Go-lang IR
LEC
LLVM-based Extended Compiler for Security Improvement
MIPS-SIMULATOR
MIPS SIMULATOR
Parallel-Brute-Force-Algorithm
Using CUDA
ParameterGuard
ParameterGuard: Detecting Unsafe Usage of Function Parameters Based on Heuristic Approach
PWC
Paper With Code
typeinfer
A static type inference tool that reports potential bugs by detecting type violations
zk-practice
hyunsooda's Repositories
hyunsooda/ECDSA
ECDSA Keypair Generator
hyunsooda/ParameterGuard
ParameterGuard: Detecting Unsafe Usage of Function Parameters Based on Heuristic Approach
hyunsooda/zk-practice
hyunsooda/.dotfiles
Environment configs
hyunsooda/gochan
Adopts Golang principles for effective thread communication in Haskell
hyunsooda/grparser
Rust-binding for Go-lang IR
hyunsooda/LEC
LLVM-based Extended Compiler for Security Improvement
hyunsooda/llvm-hs-pretty-15
LLVM binding with Haskell
hyunsooda/PWC
Paper With Code
hyunsooda/typeinfer
A static type inference tool that reports potential bugs by detecting type violations
hyunsooda/caver-js
Official caver-js repository
hyunsooda/color
Color package for Go (golang)
hyunsooda/go-ethereum
Official Go implementation of the Ethereum protocol
hyunsooda/hardhat-change-network
hyunsooda/hyunsooda
hyunsooda/infer
A static analyzer for Java, C, C++, and Objective-C
hyunsooda/is593-2020-spring
hyunsooda/kaia
hyunsooda/kips
Website
hyunsooda/klaytn
Official Go implementation of the Klaytn protocol
hyunsooda/klaytn-ansible
Ansible modules for installing and using Klaytn.
hyunsooda/klaytn-contracts
hyunsooda/klaytn-docs
Klaytn Docs v2
hyunsooda/klaytn-etl
Python scripts for ETL (extract, transform and load) jobs for Klaytn blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions.
hyunsooda/Pragma-updater
A recursive version editor
hyunsooda/satire
An educational SAT solver written in Rust
hyunsooda/secretshare
hyunsooda/SGX-hardware
This is a list of hardware which is supports Intel SGX - Software Guard Extensions.
hyunsooda/sparrow
The Sparrow Static Analyzer
hyunsooda/tools
[mirror] Go Tools