Skip to content
View kshprenger's full-sized avatar
  • Institut Polytechnique de Paris
  • Palaiseau
  • LinkedIn in/kshprenger

Organizations

@secs-dev-ds-course-2025

Block or report kshprenger

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 69,323 5,868 Updated Nov 8, 2025

Main TON monorepo

C++ 3,771 1,398 Updated Nov 8, 2025

The Parity Polkadot Blockchain SDK

Rust 2,520 1,053 Updated Nov 8, 2025

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 42,069 3,094 Updated Nov 8, 2025

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 35,292 15,116 Updated Nov 8, 2025

CUDA Core Compute Libraries

C++ 2,016 287 Updated Nov 8, 2025

The financial transactions database designed for mission critical safety and performance.

Zig 14,239 710 Updated Nov 8, 2025

Empowering everyone to build reliable and efficient software.

Rust 107,709 13,951 Updated Nov 8, 2025

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Rust 1,494 799 Updated Nov 8, 2025

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Rust 7,447 11,667 Updated Nov 8, 2025

Erlang/OTP

Erlang 11,921 3,034 Updated Nov 8, 2025

YTsaurus is a scalable and fault-tolerant open-source big data platform.

C++ 2,102 179 Updated Nov 8, 2025

The Go programming language

Go 130,733 18,439 Updated Nov 8, 2025

Distributed reliable key-value store for the most critical data of a distributed system

Go 50,720 10,206 Updated Nov 8, 2025

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

Go 818 725 Updated Nov 8, 2025

Linux kernel source tree

C 206,535 58,312 Updated Nov 7, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 47,842 1,298 Updated Nov 7, 2025

Go implementation of the Ethereum protocol

Go 50,237 21,511 Updated Nov 7, 2025

A framework for distributed systems verification, with fault injection

Clojure 7,202 738 Updated Nov 7, 2025

Library support for Kotlin coroutines

Kotlin 13,605 1,916 Updated Nov 7, 2025

Reference node for CASPER protocol

Rust 403 227 Updated Nov 7, 2025

Bitcoin Core integration/staging tree

C++ 86,697 38,182 Updated Nov 7, 2025

Raft library for maintaining a replicated state machine

Go 941 210 Updated Nov 7, 2025

Clipboard optimizer for macOS

Swift 1,265 44 Updated Nov 7, 2025

FoundationDB - the open source, distributed, transactional key-value store

C++ 15,824 1,444 Updated Nov 7, 2025

RSS reader for macOS and iOS.

Swift 9,279 595 Updated Nov 7, 2025

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.

Erlang 906 104 Updated Nov 6, 2025

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Rust 30,183 2,821 Updated Nov 6, 2025

⟁ Tendermint Core (BFT Consensus) in Go

Go 5,842 2,102 Updated Nov 6, 2025

The Rust Implementation of the libp2p networking stack.

Rust 5,263 1,141 Updated Nov 6, 2025
Next