Stars
💫 Industrial-strength Natural Language Processing (NLP) in Python
List of scientific publications from SAP HANA Database & Analytics
An easy-to-use, header-only C++ wrapper for Linux' perf event API
🦜🔗 Build context-aware reasoning applications
Inspektor Gadget is a set of tools and framework for data collection and system inspection on Kubernetes clusters and Linux hosts using eBPF
Gluten is a middle layer responsible for offloading JVM-based SQL engines' execution to native engines.
A generator of JSON data and queries, e.g., for benchmarking JSON document stores.
LingoDB: A new analytical database system that blurs the lines between databases and compilers.
Optimizing data-intensive systems in disaggregated data centers
Emulates MongoDB's Wire Protocol on top of SAP HANA. This way SAP HANA can be used as a drop-in replacement for MongoDB, which reduces migration efforts and enables legacy applications to run on SA…
Code and workloads from the Learned Cardinalities paper (https://arxiv.org/abs/1809.00677)
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
PerFuchs / gfe_driver
Forked from cwida/gfe_driverC++ driver to evaluate updates and analytics on dynamic structural graphs
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
Multi platform setup for Coq, Coq libraries and tools
An open data set consisting of performance measurement results over time to allow research on performance regression detection.