efenniht

A software engineer interested in developing scalable, performant, and safe abstraction of cutting-edge technologies.

@furiosa-aiSeoul, KR

Pinned Repositories

count-unsafe
Count lines of unsafe blocks (including functions, traits and trait impls) in Rust
Language:Rust0 1 02
crossbeam
Tools for concurrent programming in Rust
Language:Rust00
cs420-hs
Implementation of the term project of CS 420 (Compiler Design) in Haskell.
Language:Haskell0 1 00
cs492-concur
Language:Rust0 0 00
efenniht
1 1 00
hafnium-verification
Language:C0 0 80
internet-passport
Language:Java0 1 30
pintos
Language:HTML0 1 00
hafnium-verification
Language:C1 5 564
rv6
Language:C125 6 25513

efenniht's Repositories

efenniht/efenniht
1 1 00
efenniht/count-unsafe
Count lines of unsafe blocks (including functions, traits and trait impls) in Rust
Language:Rust0 1 02
efenniht/crossbeam
Tools for concurrent programming in Rust
Language:Rust00
efenniht/cs420-hs
Implementation of the term project of CS 420 (Compiler Design) in Haskell.
Language:Haskell0 1 00
efenniht/cs492-concur
Language:Rust0 0 00
efenniht/hafnium-verification
Language:C0 0 80
efenniht/internet-passport
Language:Java0 1 30
efenniht/pintos
Language:HTML0 1 00
efenniht/programming-rust-study
efenniht/rv6
Language:Rust0 0
efenniht/vscoq
Coq Support for Visual Studio Code
Language:TypeScript1 0
efenniht/xv6-riscv
Xv6 for RISC-V
Language:C0 0