A library for efficient similarity search and clustering of dense vectors.

A library that provides an embeddable, persistent key-value store for fast storage.

The Z3 Theorem Prover

A distributed, fast open-source graph database featuring horizontal scalability and high availability

Header-only C++/python library for fast approximate nearest neighbors

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.

Embedded property graph database built for speed. Vector search and full-text search built in. Implements Cypher.

Research programming language for concurrent ownership

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

A distributed graph deep learning framework.

TuGraph: A High Performance Graph Database.

An Industrial Graph Neural Network Framework

MLIR For Beginners tutorial

Custom Garbage Collectors for .NET Core

GenDB, an LLM-Powered Generative Query Engine Built for the Future