Alternatives and similar repositories for Metis

Users that are interested in Metis are comparing it to the libraries listed below

• midwinter1993 / dogfood

  View on GitHub
  Artifact evaluation for Dogfood
  ☆12Feb 22, 2020Updated 5 years ago
• uwplse / ferrite

  View on GitHub
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆21Sep 2, 2016Updated 9 years ago
• utsaslab / chipmunk

  View on GitHub
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Jun 19, 2024Updated last year
• HewlettPackard / nvthreads

  View on GitHub
  ☆26Aug 2, 2017Updated 8 years ago
• RutgersCSSystems / CrossFS

  View on GitHub
  CrossFS: A Cross-layered Direct-Access File System
  ☆27Sep 5, 2022Updated 3 years ago
• GLaDOS-Michigan / I4

  View on GitHub
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26May 25, 2021Updated 4 years ago
• lt2000 / MinFlow

  View on GitHub
  ☆12Jan 12, 2024Updated 2 years ago
• BuoyantIO / real-world-argo-linkerd

  View on GitHub
  ☆12Dec 20, 2023Updated 2 years ago
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated 11 months ago
• Kotlin-Polytech / KotlinAsFirst2019

  View on GitHub
  Задачи для онлайн-курса "Котлин как первый язык программирования" (2019)
  ☆11Apr 8, 2020Updated 5 years ago
• ArcInstitute / cyto

  View on GitHub
  A mapper for 10x-flex single cell sequencing reads with fixed abstract geometries
  ☆32Updated this week
• NadavElias / DedupSearch

  View on GitHub
  ☆10Jan 31, 2022Updated 4 years ago
• mfs409 / llvm-transmem

  View on GitHub
  ☆11Aug 5, 2020Updated 5 years ago
• JLSteenwyk / latch_library

  View on GitHub
  A library of code snippets used in Latch SDK development
  ☆11Mar 21, 2023Updated 2 years ago
• Particle-Network / particle-react-native

  View on GitHub
  ☆14Mar 13, 2025Updated 11 months ago
• ajraymond / restartd

  View on GitHub
  New upstream for the restartd daemon
  ☆15Aug 25, 2022Updated 3 years ago
• boundary / folsom_cowboy

  View on GitHub
  A Cowboy based Folsom HTTP Wrapper.
  ☆37May 29, 2015Updated 10 years ago
• WhiRLVerification / WhiRL

  View on GitHub
  ☆12Oct 21, 2020Updated 5 years ago
• JackSlateur / bareos-libcloud

  View on GitHub
  Backup object storages via Bareos (Amazon's s3, Ceph's RGW, Google's GCS etc)
  ☆11Feb 9, 2019Updated 7 years ago
• eth-easl / pccheck

  View on GitHub
  ☆12Nov 8, 2024Updated last year
• snalli / whisper

  View on GitHub
  WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.
  ☆10May 10, 2017Updated 8 years ago
• leo-project / leo_erasure

  View on GitHub
  Erasure code library for Erlang
  ☆12Sep 5, 2024Updated last year
• smorimoto / flycaml

  View on GitHub
  OCaml + Fly.io
  ☆11Nov 21, 2025Updated 2 months ago
• aodinokov / metac

  View on GitHub
  Reflection and some other related Go-like features for C
  ☆14Feb 6, 2026Updated last week
• micchie / paste

  View on GitHub
  Latest PASTE (NSDI'18) repository
  ☆13May 2, 2022Updated 3 years ago
• msantos / erpcgen

  View on GitHub
  RPC/XDR protocol compiler (from jungerl)
  ☆14Oct 4, 2019Updated 6 years ago
• letsreinventthewheel / snake-rewind

  View on GitHub
  A retro style Snake game reimagined with clone mechanics, juicy UI and CRT-inspired shader effects. Built in C using Raylib.
  ☆20Aug 14, 2025Updated 6 months ago
• xuru / vixDiskLib

  View on GitHub
  vixDiskLib for Python
  ☆15Feb 26, 2017Updated 8 years ago
• leggedrobotics / dlio

  View on GitHub
  Fork of [IEEE ICRA'23] A new lightweight LiDAR-inertial odometry algorithm with a novel coarse-to-fine approach in constructing continuou…
  ☆17Oct 27, 2025Updated 3 months ago
• marnanel / pinefs

  View on GitHub
  Aaron Lav's Python NFS server - local copy
  ☆16Nov 10, 2022Updated 3 years ago
• bacaldwell / scalable-monitoring

  View on GitHub
  Scripts for monitoring InfiniBand and storage devices
  ☆11Sep 4, 2015Updated 10 years ago
• cs544-wisc / s24

  View on GitHub
  ☆13May 10, 2024Updated last year
• soundsrc / s3nbd

  View on GitHub
  Linux userspace block device over S3.
  ☆13Jan 3, 2014Updated 12 years ago
• sayden / minimal-mesos-go-framework

  View on GitHub
  A tutorial to build a Mesos framework that launches a web server in Go
  ☆10May 27, 2016Updated 9 years ago
• selectel / ftpbench

  View on GitHub
  Benchmark for load testing FTP servers
  ☆12Jan 26, 2024Updated 2 years ago
• vnarek / jude

  View on GitHub
  Actor model implemented in OCaml - early alpha
  ☆10Jun 5, 2020Updated 5 years ago
• JBEI / edd

  View on GitHub
  Repository of standardized biological experimental data and metadata
  ☆16Jan 9, 2025Updated last year
• mathcbc / GMM-EM

  View on GitHub
  The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）
  ☆12Dec 30, 2018Updated 7 years ago
• sikozonpc / videos2gether

  View on GitHub
  Watch videos together with your friends!
  ☆13Jul 25, 2023Updated 2 years ago