Skip to content
@mars-research

Mars Research Group

University of Utah

Popular repositories Loading

  1. redleaf redleaf Public

    RedLeaf Operating System

    Rust 118 10

  2. DRAMHiT DRAMHiT Public

    C++ 28 1

  3. lvd-linux lvd-linux Public

    C 19 10

  4. lvd-bflank lvd-bflank Public

    C++ 12 3

  5. hello-os hello-os Public

    A multiboot OS that prints

    Assembly 11 6

  6. xv6-bm xv6-bm Public

    Version of xv6 that runs on bare metal

    C 8 1

Repositories

Showing 10 of 66 repositories
  • mars-std Public

    Reusable Nix utilities

    mars-research/mars-std’s past year of commit activity
    Nix 2 0 0 0 Updated Nov 17, 2024
  • 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 Nov 13, 2024
  • verus Public Forked from verus-lang/verus

    Verified Rust for low-level systems code

    mars-research/verus’s past year of commit activity
    Rust 0 MIT 72 0 0 Updated Nov 7, 2024
  • rfl-artifacts Public

    Artifacts for the ACSAC 2024 "Rust for Linux: Understanding the Security Impact of Rust in the Linux Kernel"

    mars-research/rfl-artifacts’s past year of commit activity
    0 0 0 0 Updated Nov 5, 2024
  • DRAMHiT Public
    mars-research/DRAMHiT’s past year of commit activity
    C++ 28 1 18 1 Updated Oct 31, 2024
  • llvm-SFI Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

    mars-research/llvm-SFI’s past year of commit activity
    1 12,213 0 0 Updated Aug 10, 2024
  • atc24-artifact Public
    mars-research/atc24-artifact’s past year of commit activity
    Shell 1 0 0 0 Updated Jul 8, 2024
  • dpdk-nfv Public
    mars-research/dpdk-nfv’s past year of commit activity
    C++ 0 0 0 0 Updated Apr 18, 2024
  • lxds Public
    mars-research/lxds’s past year of commit activity
    1 0 0 0 Updated Mar 21, 2024
  • kmer_wiki Public
    mars-research/kmer_wiki’s past year of commit activity
    Perl 1 0 0 0 Updated Feb 12, 2024
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…