Skip to content
View grtheod's full-sized avatar

Block or report grtheod

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

A production-grade java implementation of RAFT consensus algorithm.

Java 3,630 1,152 Updated Dec 17, 2024

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

Go 48,088 9,804 Updated Dec 21, 2024

Efficient RPCs for datacenter networks

C++ 863 139 Updated May 9, 2024

Java library for approximate nearest neighbors search using Hierarchical Navigable Small World graphs

Java 261 56 Updated Jan 20, 2024

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

C++ 4,446 660 Updated Aug 11, 2024

This is BugVM

Java 353 51 Updated Sep 7, 2020

Temporal graph data management atop Neo4j

Java 4 1 Updated Feb 6, 2024

GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database

C++ 71 26 Updated Apr 15, 2024

Janino is a super-small, super-fast Java™ compiler.

Java 1,265 211 Updated May 31, 2024

Personal reading list/reference re: TLA+

87 4 Updated Feb 13, 2018

Expressive Vector Engine - SIMD in C++ Goes Brrrr

C++ 982 59 Updated Dec 21, 2024

LiveGraph: a transactional graph storage system with purely sequential adjacency list scans

C++ 51 15 Updated Apr 5, 2021

Source code of our implementation of the concurrent RMA

C++ 13 4 Updated May 23, 2019

This is a header only library offering a variety of dynamically growing concurrent hash tables. That all work by dynamically migrating the current table once it gets too full.

C++ 107 13 Updated Mar 19, 2024

Temporal Graph Benchmark project repo

Python 196 36 Updated Nov 21, 2024

RisGraph: A Real-Time Streaming System for Evolving Graphs to Support Sub-millisecond Per-update Analysis at Millions Ops/s

C++ 35 8 Updated May 11, 2022

A Java version of simdjson, a high-performance JSON parser utilizing SIMD instructions

Java 294 22 Updated Jun 8, 2024

Algorithms and Data Structures implemented in Java

Java 4,463 1,865 Updated Dec 5, 2022

Container runtimes on macOS (and Linux) with minimal setup

Go 20,045 402 Updated Dec 17, 2024

Quine • a streaming graph • https://quine.io • Discord: https://discord.gg/GMhd8TE4MR

Scala 311 38 Updated Dec 20, 2024

A scalable, distributed Time Series Database.

Java 5,014 1,247 Updated Dec 12, 2024

Develop increasingly sophisticated databases from scratch in Java

Java 29 4 Updated May 20, 2022

A fast key/value store that is efficient for high-volume random access reads and writes.

Java 355 128 Updated May 17, 2017
Java 45 2 Updated Jun 15, 2011

Entity-State model managed by Neo4j Procedures

Java 90 21 Updated Mar 19, 2024

"GraphOne: A Data Store for Real-time Analytics on Evolving Graphs", Usenix FAST'19

C++ 58 31 Updated Jan 5, 2021

GraphBolt: Dependency-Driven Synchronous Processing of Streaming Graphs

C++ 140 27 Updated May 11, 2021

Embeddable property graph database management system built for query speed and scalability. Implements Cypher.

C++ 1,472 102 Updated Dec 22, 2024
Next