Skip to content

@mars-research Mars Research Group

Change the repository type filter

All

    Repositories list

    65 repositories

    • verus

      Public
      Verified Rust for low-level systems code
      Rust
      •
      MIT License
      •66•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • mars-std

      Public
      Reusable Nix utilities
      Nix
      •0•2•0•0•Updated Sep 29, 2024Sep 29, 2024

    • llvm-SFI

      Public
      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.
      12k•1•0•0•Updated Aug 10, 2024Aug 10, 2024

    • atc24-artifact

      Public
      Shell
      •0•1•0•0•Updated Jul 8, 2024Jul 8, 2024

    • mars-research.github.io

      Public
      Mars Research Homepage
      Nix
      •0•1•0•0•Updated May 22, 2024May 22, 2024

    • DRAMHiT

      Public
      C++
      •1•29•18•1•Updated Apr 22, 2024Apr 22, 2024

    • dpdk-nfv

      Public
      C++
      •0•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • lxds

      Public
      0•1•0•0•Updated Mar 21, 2024Mar 21, 2024

    • kmer_wiki

      Public
      Perl
      •0•1•0•0•Updated Feb 12, 2024Feb 12, 2024

    • cloudlab-profiles

      Public
      Shell
      •96•1•0•1•Updated Sep 12, 2023Sep 12, 2023

    • redcc

      Public
      RedLeaf "checker & compiler"
      Rust
      •
      Other
      •13k•1•0•0•Updated Aug 2, 2023Aug 2, 2023

    • mmap_test

      Public
      C++
      •0•0•0•0•Updated Jul 23, 2023Jul 23, 2023

    • nixpkgs

      Public
      Nix Packages collection
      Nix
      •
      MIT License
      •14k•0•0•0•Updated May 20, 2023May 20, 2023

    • prusti-dev

      Public
      A static verifier for Rust, based on the Viper verification infrastructure.
      Rust
      •
      Other
      •106•0•0•0•Updated Mar 25, 2023Mar 25, 2023

    • dramhit-artifacts

      Public
      Artifact evaluation for "KVStore: A Hash-Table Architected for the Speed of DRAM" submitted to EuroSys'23
      Shell
      •
      MIT License
      •0•5•3•0•Updated Mar 14, 2023Mar 14, 2023

    • msr-safe

      Public
      Allows safer access to model specific registers (MSRs)
      C
      •
      GNU General Public License v2.0
      •26•0•0•0•Updated Mar 14, 2023Mar 14, 2023

    • chtkc

      Public
      A robust and efficient k-mer counter
      C
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Feb 20, 2023Feb 20, 2023

    • DRAMHiT-incrementer

      Public
      C++
      •1•0•0•0•Updated Jan 25, 2023Jan 25, 2023

    • kvstore-cloudlab

      Public
      Shell
      •96•0•0•0•Updated Jan 24, 2023Jan 24, 2023

    • minimap

      Public
      A tiny hashtable-ish workload to understand the latency of random memory writes
      C
      •0•0•0•0•Updated Dec 23, 2022Dec 23, 2022

    • ixy.rs

      Public
      Fork of ixy.rs for atmosphere
      Rust
      •
      MIT License
      •38•0•0•0•Updated Dec 5, 2022Dec 5, 2022

    • growt

      Public
      This is a header only library offering a variety of dynamically growing concurrent hash tables. That all work by dynamically migrating the current table once it gets too full.
      C++
      •
      Other
      •13•0•0•0•Updated Nov 17, 2022Nov 17, 2022

    • kmerind

      Public
      Parallel k-mer indexing for biological sequences
      C++
      •
      Apache License 2.0
      •13•0•0•0•Updated Oct 21, 2022Oct 21, 2022

    • kmerhash

      Public
      A parallel DNA k-mer counter based on optimized distributed memory hash tables
      C++
      •
      Apache License 2.0
      •3•0•0•0•Updated Oct 21, 2022Oct 21, 2022

    • neovim-flake

      Public
      Nix flake for neovim & scala metals
      Nix
      •
      MIT License
      •36•0•0•0•Updated Oct 9, 2022Oct 9, 2022

    • vldb13-eth-hashjoin

      Public
      https://dl.acm.org/doi/abs/10.14778/2732219.2732227. Obtained from https://systems.ethz.ch/research/data-processing-on-modern-hardware/projects/parallel-and-distributed-joins.html
      Shell
      •0•0•0•0•Updated Oct 4, 2022Oct 4, 2022

    • redIDL

      Public
      Rust
      •0•2•8•0•Updated Oct 3, 2022Oct 3, 2022

    • miniond

      Public
      Alternative implementation of Emulab client-side agents
      cloudlabemulabnixos
      Rust
      •
      GNU Affero General Public License v3.0
      •2•5•0•0•Updated Sep 25, 2022Sep 25, 2022

    • cityhash

      Public
      Cityhash but with .gitignore
      Shell
      •
      MIT License
      •182•0•0•0•Updated Jun 22, 2022Jun 22, 2022

    • ksplit-artifacts

      Public
      Artifacts for the paper "KSplit: Automating Device Driver Isolation"
      C
      •2•0•0•0•Updated May 22, 2022May 22, 2022