YoungYang0820

Jiawei Yang's starred repositories

gdb-mongodb-server

GDB pretty printers and commands for debugging the MongoDB Server

Language:PythonApache-2.02100

Catch2

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Language:C++BSL-1.01821400

elle-cli

command-line frontend to transactional consistency checkers for black-box databases

Language:ClojureNOASSERTION2600

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

232400

elle

Black-box transactional safety checker based on cycle detection

Language:IsabelleEPL-2.062500

Modern columnar data format for ML and LLMs implemented in Rust. Convert from parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, with more integrations coming..

Language:RustApache-2.0352600

lancedb

Developer-friendly, serverless vector database for AI applications. Easily add long-term memory to your LLM apps!

Language:PythonApache-2.0346100

oceanbase

OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

Language:C++NOASSERTION776500

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLANOASSERTION124600

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++NOASSERTION3232200

gron

Make JSON greppable!

Language:GoMIT1364000

chinese-programmer-wrong-pronunciation

**程序员容易发音错误的单词

Language:JavaScript2166900

dapr

Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.

Language:GoApache-2.02354000

SuRF

First Practical and General-purpose Range Filter

Language:C++NOASSERTION52700

arrow

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

Language:C++Apache-2.01385400

distributed-consensus-reading-list

A list of papers about distributed consensus.

230800

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

Language:CNOASSERTION1517200