Lists (3)
Stars
Empowering everyone to build reliable and efficient software.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Distributed reliable key-value store for the most critical data of a distributed system
Go implementation of the Ethereum protocol
A markup-based typesetting system that is powerful and easy to learn.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Anki is a smart spaced repetition flashcard program
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
FoundationDB - the open source, distributed, transactional key-value store
The financial transactions database designed for mission critical safety and performance.
Library support for Kotlin coroutines
A General-purpose Task-parallel Programming System using Modern C++
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
A fault tolerant, protocol-agnostic RPC system
Golang implementation of the Raft consensus protocol
Tools for concurrent programming in Rust
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
A framework for distributed systems verification, with fault injection
Arnold Schwarzenegger based programming language
Zero-cost asynchronous programming in Rust