Rust implementation of the VelocyPack protocol used by ArangoDB.

C++ Requests: Curl for People, a spiritual port of Python Requests.

IntelliJ platform plugin for Wavefront OBJ format

A tool which refactors whitespace code

Postmodern immutable and persistent data structures for C++ — value semantics at scale

SeaHorn Verification Framework

Import graphs

Scripts for setting up and running MSVC in Wine on Linux

Software used to lock/unlock the KalkSpace

A tiny, neat C library that portably invokes native file open and save dialogs.

C++ examples for the Vulkan graphics API

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…

A framework for distributed systems verification, with fault injection

Reverse engineering of Validity/Synaptics 138a:0090, 138a:0094, 138a:0097, 06cb:0081, 06cb:009a fingerprint readers protocol

Production-Grade Container Scheduling and Management

API server for API extensions like CustomResourceDefinitions

Exporter for metric info

ArangoDB Starter - starts ArangoDB clusters & single servers with ease.

A fast and compact format for serialization and storage

ArangoDB Kubernetes Operator - Start ArangoDB on Kubernetes in 5min

A private messenger for Android.