ivan98q

Senior at UMD in CS + Math. Former intern at Microsoft and Twitter.

Pinned Repositories

bitcoincore.org
Bitcoin Core project website
Language:HTML617 101 173475
389Rfall18
CMSC389R course at UMD
Language:Python0 1 00
631FinalProject
Some basic proofs with extensions to Lambda Calc
Language:Coq00
bitcoincore.org
Bitcoin Core project website
Language:HTML00
GainzChain
Language:C++0 1 00
GemsWebsite
This is literally html and css
Language:HTML00
ivan98q.github.io
Personal Website
Language:Racket00
nori-base-2019
Base repository for CS440 assignments (Spring 2019).
Language:C++00
Resume
Language:TeX0 1 00
rhacks_project
messing around at rhacks
Language:C#00

ivan98q's Repositories

ivan98q/389Rfall18
CMSC389R course at UMD
Language:Python0 1 00
ivan98q/631FinalProject
Some basic proofs with extensions to Lambda Calc
Language:Coq00
ivan98q/bitcoincore.org
Bitcoin Core project website
Language:HTML00
ivan98q/GainzChain
Language:C++0 1 00
ivan98q/GemsWebsite
This is literally html and css
Language:HTML00
ivan98q/ivan98q.github.io
Personal Website
Language:Racket00
ivan98q/nori-base-2019
Base repository for CS440 assignments (Spring 2019).
Language:C++00
ivan98q/Resume
Language:TeX0 1 00
ivan98q/rhacks_project
messing around at rhacks
Language:C#00