Name: Yechan Bae
Type: User
Company: @theori-io
Bio: Security researcher at @theori-io. Previously @sslab-gatech. Interests: Software Security, Program Analysis, Programming Language
Twitter: yechan_bae
Location: Atlanta, Georgia
Yechan Bae's Projects
:construction: JavaScript RUR-PLE
Empowering everyone to build reliable and efficient software.
A bunch of lints to catch common mistakes and improve your Rust code
CVEs for the Rust standard library
A database of Rust compiler versions and the git commit that they were built from.
Audit Cargo.lock files for dependencies with security vulnerabilities
Auditing crates for unsafe code which can be safely replaced
An educational SAT solver written in Rust
Distributed Sorting written in Scala
A framework for creating PoC's for Solana Smart Contracts in a painless and intuitive way
:heavy_check_mark: My solutions for CTF & wargame challenges
:space_invader: PWN problem manager
A PoC library for Solana smart contracts
:raising_hand: Your friendly chat bot
Multi speaker tacotron for Korean Single Speaker Speech dataset
:construction: AS 3.0 Text Engine
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.
Style-preserving TOML library for Python
Notebook for https://rust-unofficial.github.io/too-many-lists/
Utility crates used in the rust-crypto
Two example projects which use WebWorker in TypeScript + Webpack environment.
:construction: WordPress Custom Template Plugin