Stars
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Tensors and Dynamic neural networks in Python with strong GPU acceleration
An Open Source Machine Learning Framework for Everyone
Development repository for the Triton language and compiler
C++11/14/17 std::expected with functional-style extensions
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
MooseFS Distributed Storage – Open Source, Petabyte, Fault-Tolerant, Highly Performing, Scalable Network Distributed File System / Software-Defined Storage
LizardFS is an Open Source Distributed File System licensed under GPLv3.
YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions
A modern replacement for Redis and Memcached
A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence
Library providing helpers for the Linux kernel io_uring support
Distributed transactional key-value database, originally created to complement TiDB
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
AlayaLite – A Fast, Flexible Vector Database for Everyone.
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" mea…
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
A geo-distributed KV store for metadata management
arana-db / braft
Forked from baidu/braftAn industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.