-
Institut Polytechnique de Paris
- Palaiseau
- in/kshprenger
Lists (3)
Sort Name ascending (A-Z)
Stars
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
The financial transactions database designed for mission critical safety and performance.
Empowering everyone to build reliable and efficient software.
anza-xyz / agave
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
YTsaurus is a scalable and fault-tolerant open-source big data platform.
Distributed reliable key-value store for the most critical data of a distributed system
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
A markup-based typesetting system that is powerful and easy to learn.
Go implementation of the Ethereum protocol
A framework for distributed systems verification, with fault injection
Library support for Kotlin coroutines
Raft library for maintaining a replicated state machine
FoundationDB - the open source, distributed, transactional key-value store
A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
The Rust Implementation of the libp2p networking stack.