Skip to content
View TheOneKevin's full-sized avatar
๐Ÿฅ•
๐Ÿฅ•

Block or report TheOneKevin

Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
TheOneKevin/README.md

Hi there ๐Ÿ‘‹ I'm Kevin ๐Ÿฅ• and an undergraduate at the University of Waterloo studying computer science ๐Ÿ’ป

Currently working on ๐Ÿ’ช๐Ÿป compilers, digital circuit design, microkernels, and improving my piano skills ๐ŸŽน

Learning about ๐Ÿ“– compiler optimization, type theory and quantum information theory

Pinned Loading

  1. hsc-latte/caravel-hs32core hsc-latte/caravel-hs32core Public

    Repo for Nov 2020 Skywater 120nm shuttle run containing our custom HS32 CPU ๐Ÿš€. This contains our GDS + tape-out files and post-synthesis tests ๐Ÿงช. The RTL design is in a submodule.

    Verilog 10 2

  2. cxkernel cxkernel Public

    A hobbyist operating system created from scratch โš™๏ธ. This is where I test my โœจ craziest โœจ operating system design ideas.

    C++ 29 7

  3. hs32-llvm-backend hs32-llvm-backend Public

    Forked from llvm/llvm-project

    An LLVM ๐Ÿฒ fork implementing the custom HS32 backend.

  4. jcf jcf Public

    The j/CF compile framework is a framework for compiling Joos1W, a subset of Java 1.3 โ˜•. This started off as the term-long course project, but is now maintained with ๐Ÿ’– by me.

    C++ 2

  5. cc3k-wasm cc3k-wasm Public

    A terminal dungeon crawler game written for CS245 but ported to run on the web using WASM ๐ŸŽฎ๐Ÿ•น๏ธ Even better, no modifications to the original sources were made and we now have graphics!

    JavaScript

  6. ducky.ai ducky.ai Public

    A demo RAG system ๐Ÿฆ†

    Python