sbu-fsl/Metis external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sbu-fsl/Metis

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sbu-fsl/Metis)

Close

sbu-fsl / MetisView on GitHubMore

• External links
• Readme badge

Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

☆13Mar 18, 2025Updated 11 months ago

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 6 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
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated last year
• NadavElias / DedupSearch

  View on GitHub
  ☆10Jan 31, 2022Updated 4 years ago
• Kotlin-Polytech / KotlinAsFirst2019

  View on GitHub
  Задачи для онлайн-курса "Котлин как первый язык программирования" (2019)
  ☆11Apr 8, 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
• mfs409 / llvm-transmem

  View on GitHub
  ☆11Aug 5, 2020Updated 5 years ago
• BuoyantIO / real-world-argo-linkerd

  View on GitHub
  ☆12Dec 20, 2023Updated 2 years ago
• ds2-lab / LambdaFS

  View on GitHub
  λFS: an elastic, high-performance, serverless-function-based metadata service for large-scale distributed file systems (ACM ASPLOS'23)
  ☆14Apr 2, 2025Updated 11 months ago
• soundsrc / s3nbd

  View on GitHub
  Linux userspace block device over S3.
  ☆13Jan 3, 2014Updated 12 years ago
• bacaldwell / scalable-monitoring

  View on GitHub
  Scripts for monitoring InfiniBand and storage devices
  ☆11Sep 4, 2015Updated 10 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…
  ☆19Oct 27, 2025Updated 4 months ago
• WhiRLVerification / WhiRL

  View on GitHub
  ☆12Oct 21, 2020Updated 5 years ago
• smorimoto / flycaml

  View on GitHub
  OCaml + Fly.io
  ☆11Nov 21, 2025Updated 3 months ago
• eth-easl / pccheck

  View on GitHub
  ☆12Nov 8, 2024Updated last year
• 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
• jalalmostafa / rdma-examples

  View on GitHub
  Infiniband RDMA Examples using libibverbs and librdmacm for learning purposes
  ☆12Sep 24, 2021Updated 4 years ago
• trianglesphere / node-ops

  View on GitHub
  A collection of scripts for running eth + optimism full nodes
  ☆13Mar 15, 2023Updated 2 years ago
• nocodb / nginx-secure

  View on GitHub
  ☆11Nov 20, 2025Updated 3 months ago
• aayu3 / UIUCCrimeMap

  View on GitHub
  ☆12Jul 24, 2024Updated last year
• leo-project / leo_erasure

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

  View on GitHub
  Repository of standardized biological experimental data and metadata
  ☆16Jan 9, 2025Updated last year
• 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
• sikozonpc / videos2gether

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

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

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

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

  View on GitHub
  Scheduling Kubernetes Jobs in cluster and Virtual Kubelet
  ☆11Nov 25, 2018Updated 7 years ago
• frankdenneman / PCIe-Device-NUMA-Node-Locality

  View on GitHub
  Scriptset to enumerate PCIe Device to NUMA mapping within an VMware ESXi Host
  ☆11Jan 10, 2020Updated 6 years ago
• leap0x7b / luaboot

  View on GitHub
  A fully scriptable UEFI bootloader.
  ☆13Aug 30, 2024Updated last year
• henry-nazare / llvm-sra

  View on GitHub
  Symbolic range analysis for LLVM.
  ☆12Jan 10, 2016Updated 10 years ago
• Particle-Network / particle-react-native

  View on GitHub
  ☆13Mar 13, 2025Updated 11 months ago
• marnanel / pinefs

  View on GitHub
  Aaron Lav's Python NFS server - local copy
  ☆16Nov 10, 2022Updated 3 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