-
ydb Public
Forked from ydb-platform/ydbYDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions
C++ Apache License 2.0 UpdatedJan 20, 2026 -
yc-docs Public
Forked from yandex-cloud/docsYandex Cloud documentation
Creative Commons Attribution 4.0 International UpdatedSep 18, 2025 -
redpanda Public
Forked from redpanda-data/redpandaRedpanda is the real-time engine for modern apps. Kafka API Compatible; 10x faster 🚀 See more at vectorized.io/redpanda
C++ UpdatedJun 27, 2025 -
kgo-verifier Public
Forked from redpanda-data/kgo-verifierTest utility based on franz-go, for consistency checking of Redpanda reads vs. writes
Go UpdatedNov 14, 2022 -
seastar Public
Forked from scylladb/seastarHigh performance server-side application framework
C++ Apache License 2.0 UpdatedJul 28, 2021 -
tlaplus Public
Forked from tlaplus/tlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedMay 28, 2021 -
minilp Public archive
A pure Rust linear programming solver
-
piet-gpu Public
Forked from linebender/velloAn experimental GPU compute-centric 2D renderer.
Rust Apache License 2.0 UpdatedJul 2, 2020 -
loom Public
Forked from tokio-rs/loomConcurrency permutation testing tool for Rust.
Rust MIT License UpdatedMar 6, 2020 -
sprs Public
Forked from sparsemat/sprssparse linear algebra library for rust
Rust Apache License 2.0 UpdatedFeb 19, 2020 -
-
minitokio Public
A toy multithreaded tokio-like runtime capable of executing async-await futures
-
-
rust-analyzer Public
Forked from rust-lang/rust-analyzerAn experimental Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedOct 21, 2019 -
vscode-tree-sitter Public
Forked from georgewfraser/vscode-tree-sitterAccurate syntax coloring for VSCode using tree-sitter
TypeScript MIT License UpdatedOct 7, 2019 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedOct 1, 2019 -
rust-tcp Public
Forked from jonhoo/rust-tcpA learning experience in implementing TCP in Rust
Rust UpdatedAug 17, 2019 -
ClickHouse Public
Forked from ClickHouse/ClickHouseClickHouse is a free analytic DBMS for big data.
C++ Other UpdatedJan 30, 2017 -
zlib-ng Public
Forked from zlib-ng/zlib-ngzlib for the "next generation" systems. Drop-In replacement with some serious optimizations.
C zlib License UpdatedJan 10, 2017 -
wireshark-plugins Public
Forked from kaos/wireshark-pluginsMy custom wireshark plugins
Lua Apache License 2.0 UpdatedApr 23, 2016 -
gollum-lib Public
Forked from gollum/gollum-libA simple, Git-powered wiki with a sweet API.
Ruby MIT License UpdatedFeb 14, 2016 -
irmin Public
Forked from mirage/irminIrmin is a distributed database that follows the same design principles as Git
OCaml UpdatedApr 28, 2015 -
{{ message }}