Skip to content
View shady831213's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report shady831213

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
shady831213/README.md

Hi there 👋

  • 🔭 I’m currently working on Picocom
  • 🌱 I’m currently learning Theory of Computation, Category Theory
  • 😄 Just for fun!

Github stars Github followers

GitHub stats

Top Langs

Visitors

Pinned Loading

  1. algorithms algorithms Public

    CLRS study. Codes are written with golang.

    Go 808 121

  2. terminus terminus Public

    A riscv isa simulator in rust.

    Rust 63 10

  3. jarvisuk jarvisuk Public

    Just A Really Very Impressive Systemverilog UVM Kit

    SystemVerilog 15 1

  4. terminus_cosim terminus_cosim Public

    Terminus + verilog cosim env to show the cosim power of terminus

    Rust 8 2

  5. vfw_rs vfw_rs Public

    Rust Simple firmware infra for Verification

    Rust 5

  6. vhost vhost Public

    verification host lib

    Rust 3