Skip to content
View anton-mel's full-sized avatar
🦀
Rust for Linux
🦀
Rust for Linux

Organizations

@YaleComputerSociety

Block or report anton-mel

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

Hi, I am a rising senior at Yale University, studying Electrical Engineering and Computer Science. I grew up chasing grasshoppers in a small farming village in Ukraine. Currently, I conduct SoC FPGA research at the Efficient Computing Lab. I spend a lot of time composing on guitar or studying Japanese. Talk to me on Element: https://matrix.to/#/@an.tony:matrix.org.

Email: [email protected]
Matrix: @an.tony:matrix.org
Website: https://anton-mel.github.io/
GPG: 4761ECDDC5CCC90BD358773C168630462D227233

Pinned Loading

  1. WeensyOS WeensyOS Public

    Rust version of WeensyOS——a tiny kernel that can run on bare-metal x86-64 machines (including QEMU's emulated CPUs), aiming for easy physical and virtual memory display with minimal unsafe code (cu…

    Rust 4

  2. FastRaft FastRaft Public

    A Hierarchical gRPC Model for Fast Distributed Consensus in Dynamic Networks. Tested on AWS EKS. https://arxiv.org/pdf/2004.06215

    Go 2 1

  3. linux linux Public

    Forked from wedsonaf/linux

    Adding support for the Rust language to the Linux kernel. Merged in v6.1 into Linux mainline, October 2022.

    C 1

  4. hopter hopter Public

    Forked from hopter-project/hopter

    A Rust-based embedded operating system designed to enable memory safe, memory efficient, reliable, and responsive applications.

    Rust

  5. OoO-PARCv2 OoO-PARCv2 Public

    Verilog-based EENG 520 labs at Yale: iterative 32-bit multiply/divide unit, pipelined & superscalar PARCv2 processors with bypassing, and an out-of-order speculative execution engine.

    C++

  6. OffloadedDNN OffloadedDNN Public

    Efficient edge computing with custom V4L2 video capture, buffer management, and low-latency concurrent kernel-user memory access. Custom loadable kernel modules.

    Rust