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
Sorting:
- A C++ smart pointer with copy-on-write semantics☆15Apr 4, 2016Updated 9 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 11 months ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 5 months ago
- ☆12Feb 15, 2024Updated 2 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Aug 8, 2022Updated 3 years ago
- Plots a word association graph between the nouns in a given text with the adjectives and verbs in the text☆11Jul 19, 2019Updated 6 years ago
- ☆10Nov 12, 2019Updated 6 years ago
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 2 months ago
- UIImageView subclass that loads the image progressively☆22Nov 9, 2014Updated 11 years ago
- ☆10Feb 4, 2018Updated 8 years ago
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years ago
- [DEPRECATED] The missing Blacklist app for your iOS 5/6 with private APIs. No Jailbreak Required!☆148Sep 23, 2013Updated 12 years ago
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- awesome-startup-saas-tools☆13Aug 16, 2023Updated 2 years ago
- ☆11Apr 19, 2016Updated 9 years ago
- pcd8544 Command Line Tool for Raspberry Pi / Orange Pi☆12Jun 10, 2020Updated 5 years ago
- librtmp from RTMPDump (http://rtmpdump.mplayerhq.hu/) as an iOS static lib Xcode project☆13Oct 30, 2011Updated 14 years ago
- An instruction of how to modify bios image to enable avx512 for alderlake CPU on modern gigabyte motherboards☆13Feb 2, 2023Updated 3 years ago
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 9 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Single-user Matrix.org Application Service (AS) to bridge SMSes to the Matrix network!☆12Jul 10, 2018Updated 7 years ago
- compatible library for ebpf programs to improve BTF portability☆14Oct 11, 2023Updated 2 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆23Feb 25, 2026Updated last week
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- Ready to use Core ML VAEs in MLMODELC format☆13Dec 25, 2023Updated 2 years ago
- 基于X86架构的简单Cminus语言编译器☆10Apr 1, 2022Updated 3 years ago
- An MLIR-based AI compiler designed for Python frontend to RISC-V DSA☆13Oct 10, 2024Updated last year
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Dynamic NFTs is a code-pattern & tooling that enables web3 creators to have true ownership of assets and create upgradable NFTs in a trus…☆13Jan 11, 2022Updated 4 years ago
- A UISlider subclass which adjusts its appearance based on the positional attitude of an iOS device.☆102Mar 11, 2013Updated 12 years ago
- a warper bottle use aiohttp base on Asyncio (PEP-3156)☆14May 23, 2014Updated 11 years ago
- Another MessagePack implementation in Rust, this time with shiny new no_std serde☆13Dec 19, 2019Updated 6 years ago
- ☆13Jul 16, 2013Updated 12 years ago
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- RIME keyboard layout for typing Spanish, French, German, Portuguese, and Hungarian. Supports QWERTY and colemak☆13Oct 23, 2023Updated 2 years ago
- 网易airtest试用☆10Jul 27, 2019Updated 6 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Dec 20, 2021Updated 4 years ago