Skip to content
View TheOneKevin's full-sized avatar
🥕
aka c a r o t
🥕
aka c a r o t

Block or report TheOneKevin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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++ 28 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