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

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.

Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 alumni of the University of Waterloo, BCS ๐Ÿ’ป

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. rtkernel rtkernel Public

    Real-time microkernel for Raspberry Pi with a complete userspace system built from scratch โš™๏ธ It sports an userspace RPC-based system with a C/C++ library runtime built atop โœจ

    C++

  3. 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

  4. 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