Skip to content
@mars-research

Mars Research Group

University of Utah

Popular repositories Loading

  1. redleaf redleaf Public

    RedLeaf Operating System

    Rust 138 15

  2. DRAMHiT DRAMHiT Public

    C++ 32 4

  3. lvd-linux lvd-linux Public

    C 21 8

  4. hello-os hello-os Public

    A multiboot OS that prints

    Assembly 15 6

  5. lvd-bflank lvd-bflank Public

    C++ 13 2

  6. xv6-bm xv6-bm Public

    Version of xv6 that runs on bare metal

    C 9 1

Repositories

Showing 10 of 76 repositories
  • DRAMHiT Public
    mars-research/DRAMHiT’s past year of commit activity
    C++ 32 4 18 1 Updated Apr 23, 2026
  • mars-std Public

    Reusable Nix utilities

    mars-research/mars-std’s past year of commit activity
    Nix 2 1 0 0 Updated Apr 19, 2026
  • xv6-64 Public
    mars-research/xv6-64’s past year of commit activity
    C 1 1 0 1 Updated Apr 11, 2026
  • lvd-linux Public
    mars-research/lvd-linux’s past year of commit activity
    C 21 8 2 0 Updated Mar 28, 2026
  • mars-research.github.io Public

    Mars Research Homepage

    mars-research/mars-research.github.io’s past year of commit activity
    Nix 1 0 0 0 Updated Mar 22, 2026
  • atmosphere Public
    mars-research/atmosphere’s past year of commit activity
    Rust 9 MIT 1 0 0 Updated Feb 2, 2026
  • hello-os Public

    A multiboot OS that prints

    mars-research/hello-os’s past year of commit activity
    Assembly 15 6 0 1 Updated Nov 5, 2025
  • cheri-impact-artifact Public

    Artefact repository for the "Understanding the Security Impact of CHERI on the Operating System Kernel", ACSAC 2025 paper

    mars-research/cheri-impact-artifact’s past year of commit activity
    Python 2 0 0 0 Updated Nov 4, 2025
  • chtkc-eurosys Public Forked from mars-research/chtkc

    A robust and efficient k-mer counter

    mars-research/chtkc-eurosys’s past year of commit activity
    C 0 GPL-3.0 4 0 0 Updated Sep 26, 2025
  • growt-folk Public

    used by dramhit, a grow-folk to allow benchmark

    mars-research/growt-folk’s past year of commit activity
    C++ 0 0 0 0 Updated Sep 20, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…