HoseongLee

KAIST

Pinned Repositories

nixos-config
Personal NixOS configuration files
Language:Shell00
gym-pikachu-volleyball
OpenAI Gym for the Pikachu Volleyball game
Language:Python13
boids
Language:Rust00
nix-flakes
Language:Nix00
shader-rs
Language:Rust00
spec
WebAssembly specification, reference interpreter, and test suite.
Language:WebAssembly00
spec
WebAssembly specification, reference interpreter, and test suite.
Language:WebAssembly3.1k445
cs524-program-analysis
Language:Python5413
spectec
Wasm SpecTec specification tools
Language:WebAssembly259
nopcrat
No-Ouput-Parameter C-to-Rust Automatic Translator
Language:Rust31

HoseongLee's Repositories

HoseongLee/nixos-config
Personal NixOS configuration files
Language:Shell
HoseongLee/nix-flakes
Language:Nix
HoseongLee/spec
WebAssembly specification, reference interpreter, and test suite.
Language:WebAssembly
HoseongLee/shader-rs
Language:Rust
HoseongLee/boids
Language:Rust
HoseongLee/gym-pikachu-volleyball
OpenAI Gym for the Pikachu Volleyball game
Language:Python13