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 4 months ago
- Verifying concurrent storage and distributed systems☆237Updated this week
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated last year
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆44Oct 16, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago
- Course assignments☆10Jan 11, 2018Updated 8 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- 一组面向普通大学本科生的简单操作系统实验☆30Apr 24, 2023Updated 3 years ago
- 操作系统相关 Operating Systems: Three Easy Pieces 学习总结笔记☆34Dec 1, 2024Updated last year
- Shebang line equivalent for Go☆12Jul 18, 2023Updated 3 years ago
- ☆29May 8, 2025Updated last year
- A Pure Rust Implementation of Egalitarian Paxos☆49Feb 14, 2020Updated 6 years ago
- github.com/cznic/dns has moved to modernc.org/dns☆29Nov 22, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A utility for embedded Linux systems for writing JPEG images directly to the framebuffer☆18Jan 31, 2023Updated 3 years ago
- 一个基于raft算法实现的分布式K-V存储系统☆19Jun 17, 2022Updated 4 years ago
- ☆31Mar 4, 2024Updated 2 years ago
- The Golang imeplentation of MVCC Hashmap☆13Nov 20, 2016Updated 9 years ago
- eight-legged essay for MySQL. Just a learning Project☆56Jul 2, 2023Updated 3 years ago
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆28Dec 28, 2024Updated last year
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆64Oct 30, 2020Updated 5 years ago
- an advanced level shifting neighbor☆11Dec 6, 2021Updated 4 years ago
- LRU cache with TTL (based on golang/groupcache/lru)☆12Aug 17, 2017Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Threshold Cryptography Golang Library☆19Jul 25, 2022Updated 4 years ago
- Simple RPC Key Value Server using etcd/Raft in Golang☆12Mar 11, 2016Updated 10 years ago
- Cuckoo hashing for Go☆82Nov 2, 2021Updated 4 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆24Dec 15, 2019Updated 6 years ago
- GsD style kicad Libraries☆10Apr 4, 2020Updated 6 years ago
- Talent Plan 2.0☆54Sep 25, 2021Updated 4 years ago
- Cloud Native Distributed Nearest Neighbour Search☆14Jun 9, 2020Updated 6 years ago
- An implementation of minimal perfect hash function☆19Dec 23, 2010Updated 15 years ago
- LiteX project for the ButterStick bootloader☆14Mar 13, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆63Oct 11, 2021Updated 4 years ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆120May 11, 2026Updated 3 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆66May 3, 2025Updated last year
- OSD32MP1-BRK device tree sources☆13Mar 31, 2025Updated last year
- Yet another tcping for golang☆23Updated this week
- 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
- Reverse Engineering and Engineering of OMEGA split-flap displays☆16Jan 21, 2018Updated 8 years ago