☆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☆254Oct 21, 2022Updated 3 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- ☆10Aug 18, 2025Updated 6 months ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆11Feb 20, 2016Updated 10 years ago
- My emacs configurations☆18Feb 25, 2025Updated last year
- The MSR Ironclad project builds provably secure and reliable systems.☆263Jun 3, 2023Updated 2 years ago
- 이 프로젝트는 한글 MCP(HWPX) 서버로, HWPX 문서를 한글 워드프로세서 없이 직접 열고 자동화할 수 있도록 설계되었습니다. Claude Desktop과 같은 MCP 클라이언트에 연결하여 문서 생성·편집·탐색 기능을 제공합니다.☆28Feb 28, 2026Updated last week
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- A Ptracing Profiler For Lua!☆24Dec 13, 2018Updated 7 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
- Porting PMFS to the latest Linux kernel☆17Feb 7, 2021Updated 5 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
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Nov 12, 2013Updated 12 years ago
- ☆28Feb 23, 2020Updated 6 years ago
- solver for the reachability modulo theories problem☆63Sep 11, 2023Updated 2 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆207Oct 1, 2022Updated 3 years ago
- dt is a data test tool for testing disks, tapes, file systems, serial/parallel lines, and other devices.☆42Feb 20, 2026Updated 2 weeks 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
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years 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
- Source for SibylFS model and test tools☆37Dec 23, 2020Updated 5 years ago
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆47Feb 27, 2024Updated 2 years ago
- An executable specification of the RISCV ISA in L3.☆42Mar 1, 2019Updated 7 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆17Oct 2, 2025Updated 5 months ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- Dedup and compress your device mapper devices. Works especially well with thin provisioning.☆10Dec 4, 2025Updated 3 months ago
- ☆14Mar 25, 2023Updated 2 years ago
- Entire is a new developer platform that hooks into your git workflow to capture AI agent sessions on every push, unifying your code with …☆28Feb 27, 2026Updated last week