kunigami / blog-examplesLinks
Very simple projects used as examples in my blog posts
☆17Updated last year
Alternatives and similar repositories for blog-examples
Users that are interested in blog-examples are comparing it to the libraries listed below
Sorting:
- Code for the raft paper implementation☆20Updated last year
- Distributed Programming Abstractions☆16Updated 6 years ago
- Raft Consensus Algorithm☆39Updated 7 years ago
- ☆69Updated 2 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- Write my own database from scratch☆18Updated 3 years ago
- Paxos in Python, tested with Jepsen☆31Updated 3 years ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago
- Distributed systems lecture notes☆64Updated 10 months ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- ☆17Updated 2 years ago
- agentzh's fork of Russ Cox's re1 toy regex library☆19Updated 12 years ago
- Workshop on Program Transformations☆26Updated 2 years ago
- Resources for the transaction SIG☆62Updated 2 years ago
- ☆11Updated 4 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- The website for RustCon Asia 2018 in Beijing, China.☆34Updated 4 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆41Updated 6 years ago
- A simple Disk-based Key-Value Store☆15Updated 6 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- copy from http://www.interdb.jp/pg☆43Updated 8 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- ☆14Updated 7 years ago
- A Column-Oriented DBMS☆16Updated 10 years ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated last year
- ☆18Updated 7 years ago
- VectorDB is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆68Updated 3 years ago