Verified, concurrent, crash-safe transaction system
☆62Jul 20, 2024Updated 2 years ago
Alternatives and similar repositories for go-journal
Users that are interested in go-journal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast NFS server implemented using GoJournal☆54Jul 20, 2024Updated 2 years ago
- ☆17Apr 6, 2026Updated 6 months ago
- Verifying concurrent storage and distributed systems☆253Oct 28, 2026Updated last week
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated 2 years ago
- SkeletonDB is a lock-less thread safe in memory MVCC store written in Go.☆23Dec 13, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- B+ tree in memory with mvcc support☆18Oct 27, 2018Updated 8 years ago
- ☆30May 8, 2025Updated last year
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated 2 years ago
- A Catlab-compatible implementation of acsets in python.☆12Jan 22, 2024Updated 2 years ago
- github.com/cznic/fsm has moved to modernc.org/fsm☆11Nov 22, 2018Updated 7 years ago
- Programming challenges for MO candidates☆30Apr 11, 2022Updated 4 years ago
- [DEPRECATED] See https://github.com/src-d/go-mysql-server☆10Feb 9, 2018Updated 8 years ago
- ☆32Mar 4, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A header-only implementation of SipHash☆35Jul 29, 2025Updated last year
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- A low-latency, extensible, multi-tenant key-value store.☆56Dec 11, 2020Updated 5 years ago
- 一组面向普通大学本科生的简单操作系统实验☆29Apr 24, 2023Updated 3 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Reimplemantation of http://www.lexemetech.com/2007/11/consistent-hashing.html in Go☆11Nov 7, 2012Updated 13 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆49Feb 14, 2020Updated 6 years ago
- BlueDBM hw/sw implementation using the bluespecpcie PCIe library☆12Dec 25, 2022Updated 3 years ago
- ☆20Jul 15, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SquashFS implementation in pure Go (read/write)☆20Apr 2, 2026Updated 7 months ago
- iMLBench is a machine learning benchmark suite targeting CPU-GPU integrated architectures.☆11May 29, 2021Updated 5 years ago
- 一个基于raft算法实现的分布式K-V存储系统☆19Jun 17, 2022Updated 4 years ago
- The Realizable Responsive Unobtrusive Unit is an online runtime monitor framework.☆15Oct 7, 2026Updated 3 weeks ago
- 操作系统相关 Operating Systems: Three Easy Pieces 学习总结笔记☆36Dec 1, 2024Updated last year
- github.com/cznic/dns has moved to modernc.org/dns☆29Nov 22, 2018Updated 7 years ago
- a suckless werc☆15Apr 15, 2025Updated last year
- A Rust RDMA library.☆13Oct 16, 2026Updated 2 weeks ago
- A utility for embedded Linux systems for writing JPEG images directly to the framebuffer☆18Jan 31, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆19Aug 7, 2015Updated 11 years ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- The MPI parallel MD-Workbench simulates user activities.☆12Jun 23, 2019Updated 7 years ago
- GDB command(s) making debugging GPDB/Postgres somewhat easier☆34Jan 29, 2020Updated 6 years ago
- Galois Format Analysis Workbench☆24Nov 30, 2023Updated 2 years ago
- Unifies OS page cache for heterogeneous systems☆15Jul 26, 2019Updated 7 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆65Oct 30, 2020Updated 6 years ago