uw-unsat / yggdrasilView external linksLinks
☆33Apr 15, 2022Updated 3 years ago
Alternatives and similar repositories for yggdrasil
Users that are interested in yggdrasil are comparing it to the libraries listed below
Sorting:
- Ferrite, a toolkit for developing file system crash-consistency models☆21Sep 2, 2016Updated 9 years ago
- FSCQ is a certified file system written and proven in Coq☆253Oct 21, 2022Updated 3 years ago
- ☆10Aug 18, 2025Updated 5 months ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 5 years ago
- ☆14Nov 9, 2017Updated 8 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆11Feb 20, 2016Updated 9 years ago
- My emacs configurations☆18Feb 25, 2025Updated 11 months ago
- ☆17Aug 7, 2024Updated last year
- The MSR Ironclad project builds provably secure and reliable systems.☆264Jun 3, 2023Updated 2 years ago
- ☆22Updated this week
- Test suite for device mapper targets☆23Mar 11, 2025Updated 11 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- ☆22Oct 9, 2022Updated 3 years ago
- A distributed key-value cache with builtin materialized views.☆25Nov 14, 2014Updated 11 years ago
- ☆21Sep 22, 2017Updated 8 years ago
- a tool to explore unexpected behaviors of file system.☆19Jan 11, 2017Updated 9 years ago
- ☆46Apr 4, 2022Updated 3 years ago
- 😛 Review of Structure and Interpretation of Computer Programs☆26Jul 20, 2024Updated last year
- solver for the reachability modulo theories problem☆62Sep 11, 2023Updated 2 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆206Oct 1, 2022Updated 3 years ago
- dt is a data test tool for testing disks, tapes, file systems, serial/parallel lines, and other devices.☆42Jan 8, 2026Updated last month
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- ☆26Nov 15, 2021Updated 4 years ago
- File-system fault injection framework for distributed storage systems☆68Oct 29, 2018Updated 7 years ago
- Lem semantic definition language☆150Mar 13, 2025Updated 11 months ago
- An OCaml library providing a C parser and lexer☆42Nov 8, 2024Updated last year
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet characters☆10Nov 22, 2021Updated 4 years ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago
- Source for SibylFS model and test tools☆36Dec 23, 2020Updated 5 years ago
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆47Feb 27, 2024Updated last year
- An executable specification of the RISCV ISA in L3.☆42Mar 1, 2019Updated 6 years ago
- Dedup and compress your device mapper devices. Works especially well with thin provisioning.☆10Dec 4, 2025Updated 2 months ago
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆13Oct 2, 2025Updated 4 months ago
- MPU-6050 Accelerometer and Gyroscope code☆11Aug 4, 2014Updated 11 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆32Feb 10, 2026Updated last week