jiangyy/c3 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

jiangyy/c3

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/jiangyy/c3)

Close

jiangyy / c3View on GitHubMore

• External links
• Readme badge

Crash Consistency Checker

☆11Jul 30, 2016Updated 9 years ago

Alternatives and similar repositories for c3

Users that are interested in c3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• tengdj / lsbm

  View on GitHub
  lsm-tree with buffered merge
  ☆12Jan 10, 2022Updated 4 years ago
• sbu-fsl / Metis

  View on GitHub
  Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
  ☆13Mar 18, 2025Updated last year
• CISPA-SysSec / SpaceOdyssey-QEMU-AVR32

  View on GitHub
  QEMU-AVR32 OPS-SAT Emulator
  ☆16Sep 28, 2023Updated 2 years ago
• MSC-CQU / MSC2017-Missions

  View on GitHub
  Repository for homework code
  ☆11Jul 31, 2018Updated 7 years ago
• HadrienG2 / copy-on-write-ptr

  View on GitHub
  A C++ smart pointer with copy-on-write semantics
  ☆15Apr 4, 2016Updated 9 years ago
• dmdedup / dmdedup3.19

  View on GitHub
  Device-mapper Deduplication Target
  ☆20Mar 21, 2017Updated 9 years ago
• abb-iss / SrcML.NET

  View on GitHub
  C# framework for transforming and analyzing source code with srcML.
  ☆21Feb 10, 2016Updated 10 years ago
• sslab-gatech / hydra

  View on GitHub
  Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
  ☆173Aug 8, 2022Updated 3 years ago
• yzr95924 / DEBE

  View on GitHub
  A shielded DbE-based deduplicated storage system based on Intel SGX in USENIX ATC'22
  ☆17Oct 18, 2022Updated 3 years ago
• Lupino / aiobottle

  View on GitHub
  a warper bottle use aiohttp base on Asyncio (PEP-3156)
  ☆14May 23, 2014Updated 11 years ago
• OrderLab / violet

  View on GitHub
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Oct 16, 2020Updated 5 years ago
• jrasky / corepack

  View on GitHub
  Another MessagePack implementation in Rust, this time with shiny new no_std serde
  ☆13Dec 19, 2019Updated 6 years ago
• epfl-labos / eagle

  View on GitHub
  ☆13Jan 16, 2019Updated 7 years ago
• eeeeeta / matrix-appservice-sms

  View on GitHub
  Single-user Matrix.org Application Service (AS) to bridge SMSes to the Matrix network!
  ☆12Jul 10, 2018Updated 7 years ago
• gendx / gravity-rs

  View on GitHub
  A Rust implementation of the Gravity-post-quantum signature schemes
  ☆19Nov 20, 2025Updated 4 months ago
• jonas-schievink / aligned_alloc.rs

  View on GitHub
  Aligned allocation for Rust
  ☆15Oct 27, 2020Updated 5 years ago
• TruX-DTF / DL4PatchCorrectness

  View on GitHub
  An empirical study on patch correctness
  ☆15Nov 5, 2022Updated 3 years ago
• VayneDuan / CQU-Grade-Monitor

  View on GitHub
  重庆大学成绩监控
  ☆17Jun 28, 2021Updated 4 years ago
• Daeinar / cryptopals

  View on GitHub
  The Matasano Crypto Challenges in Rust http://cryptopals.com/
  ☆11Nov 5, 2015Updated 10 years ago
• wang-sy / 64BIT_OS

  View on GitHub
  操作系统项目，完成一个可以使用的linux系统
  ☆21Nov 26, 2020Updated 5 years ago
• jix / partial_ref

  View on GitHub
  Type checked partial references for rust
  ☆14Jul 17, 2021Updated 4 years ago
• alg-nju / disalg-bib-dict

  View on GitHub
  ☆10Nov 26, 2024Updated last year
• clap-rs / clap_generate

  View on GitHub
  Shell Completion Script and Manpage generation
  ☆15Feb 8, 2020Updated 6 years ago
• yuleisui / groupmeeting

  View on GitHub
  Software Analysis and Verification Group
  ☆15Nov 11, 2025Updated 4 months ago
• vi / tokio-stdin-stdout

  View on GitHub
  AsyncRead/AsyncWrite stdin/stdout for legacy pre-0.1 Tokio
  ☆18Oct 31, 2018Updated 7 years ago
• jedisct1 / gimli

  View on GitHub
  Reference implementations of the GIMLI permutation
  ☆15Jul 9, 2017Updated 8 years ago
• SpinResearch / merkle_sigs.rs

  View on GitHub
  🎄🖋 A Rust implementation of Merkle signing
  ☆15Jul 10, 2020Updated 5 years ago
• crossecore / ecore-csharp

  View on GitHub
  Ecore and OCL runtime API for C#
  ☆11Feb 8, 2021Updated 5 years ago
• cwbriones / rgit

  View on GitHub
  Rust Git Client
  ☆13Nov 16, 2021Updated 4 years ago
• SkyzohKey / Tox-client

  View on GitHub
  A quick prototype of a Tox client powered by JS running everywhere.
  ☆12Jul 27, 2016Updated 9 years ago
• google / jalic

  View on GitHub
  ☆11Apr 19, 2016Updated 9 years ago
• jeandudey / xrb-rs

  View on GitHub
  X Rust Bindings - Talking to X11 with native Rust code and Futures.
  ☆10Apr 20, 2017Updated 8 years ago
• jedisct1 / rust-sparx

  View on GitHub
  SPARX block ciphers implementations for Rust.
  ☆17Jan 29, 2026Updated last month
• xhd2015 / x2

  View on GitHub
  Originally, x2 is derived from here.
  ☆26Dec 16, 2017Updated 8 years ago
• HewlettPackard / nvthreads

  View on GitHub
  ☆26Aug 2, 2017Updated 8 years ago
• soywiz-archive / ilcc

  View on GitHub
  C compiler that generates .NET IL made in C#
  ☆27Sep 30, 2020Updated 5 years ago
• KevinHoward / Irony

  View on GitHub
  Git repository of the Irony project
  ☆23Apr 5, 2013Updated 12 years ago
• Pacific73 / Heracles

  View on GitHub
  A simple implementation of Google Heracles System (isca15).
  ☆10Jun 8, 2020Updated 5 years ago
• murarth / mortal

  View on GitHub
  Concurrent cross-platform terminal interface
  ☆19Apr 15, 2023Updated 2 years ago