Pinned Repositories
490w-final-project
repo for CSE 490W: Wireless Communications final project
Coding-Problems
A collection of solutions for various competitive programming and interview problems I have hammered out.
configs
Some linux customization I like, store it here so I don't have to remember the options.
cse517-project
cse517-project-data
github-slideshow
A robot powered training repository :robot:
github-wiki-tests
For figuring out what does and doesn't work with Github's wiki renderer
my-first-discord-bot
My first discord bot. It's in the name :)
MyWebsite
My personal website
open-cravat
A modular annotation tool for genomic variants
tenzinhl's Repositories
tenzinhl/configs
Some linux customization I like, store it here so I don't have to remember the options.
tenzinhl/unity-ssa
tenzinhl/cse517-project
tenzinhl/cse517-project-data
tenzinhl/OverTheWire-website
OverTheWire website
tenzinhl/verust-analyzer-example
tenzinhl/verus
Verified Rust for low-level systems code
tenzinhl/verified-betrfs
A verified high-performance file system
tenzinhl/open-cravat
A modular annotation tool for genomic variants
tenzinhl/Coding-Problems
A collection of solutions for various competitive programming and interview problems I have hammered out.
tenzinhl/490w-final-project
repo for CSE 490W: Wireless Communications final project
tenzinhl/github-wiki-tests
For figuring out what does and doesn't work with Github's wiki renderer
tenzinhl/scons-failure-windows-reproducer
tenzinhl/MyWebsite
My personal website
tenzinhl/my-first-discord-bot
My first discord bot. It's in the name :)
tenzinhl/github-slideshow
A robot powered training repository :robot: