Verified, concurrent, crash-safe transaction system
☆60Jul 20, 2024Updated last year
Alternatives and similar repositories for go-journal
Users that are interested in go-journal are comparing it to the libraries listed below
Sorting:
- Fast NFS server implemented using GoJournal☆53Jul 20, 2024Updated last year
- ☆17Feb 6, 2026Updated last month
- Verifying concurrent storage and distributed systems☆217Updated this week
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- A header-only implementation of SipHash☆33Jul 29, 2025Updated 7 months ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated last year
- Shebang line equivalent for Go☆12Jul 18, 2023Updated 2 years ago
- SquashFS read only implementation in pure go☆16Jan 5, 2026Updated 2 months ago
- A utility for embedded Linux systems for writing JPEG images directly to the framebuffer☆17Jan 31, 2023Updated 3 years ago
- ☆17Jun 8, 2021Updated 4 years ago
- A small libmad/oss mp3 player☆16Aug 2, 2025Updated 7 months ago
- ☆20May 30, 2024Updated last year
- ☆19Jun 4, 2021Updated 4 years ago
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆27Dec 28, 2024Updated last year
- ☆28May 8, 2025Updated 9 months ago
- EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"☆19Mar 8, 2025Updated 11 months ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆24Dec 15, 2019Updated 6 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65May 3, 2025Updated 10 months ago
- 一个基于raft算法实现的分布式K-V存储系统☆19Jun 17, 2022Updated 3 years ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Sep 30, 2024Updated last year
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆63Oct 30, 2020Updated 5 years ago
- hentai game manager, mostly for f95, but might add other sites later☆11Nov 4, 2025Updated 4 months ago
- AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast☆31Feb 8, 2017Updated 9 years ago
- Small functional language implemented in go☆29Jul 12, 2024Updated last year
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- ServiceNow CI/CD Jenkins Plugin. This plugin provides build steps with easy parameter setup to help users get started faster with setting…☆10Aug 8, 2024Updated last year
- CHERI C/C++ Programming Guide☆60Feb 7, 2026Updated 3 weeks ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 11 months ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Concurrent ART (adaptive radix tree)☆178Sep 26, 2025Updated 5 months ago
- It is our academic final year project which is developed on JAVA. Using this project you can store your file securely on cloud or your sy…☆11Jun 21, 2019Updated 6 years ago
- Go client library and cli for the DeepL language translation API☆15Dec 8, 2023Updated 2 years ago
- ☆11Jan 15, 2021Updated 5 years ago
- Elastic-net VARMA: hyperparameter optimisation, estimation and forecasting☆11Jan 30, 2023Updated 3 years ago
- Utilities for printing to Brother PTouch PT-P750W☆10Feb 1, 2026Updated last month
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- A posixy shell implemented in Rust with minimal external dependencies.☆18Oct 24, 2025Updated 4 months ago