An Open Source Machine Learning Framework for Everyone

DuckDB is an analytical in-process SQL database management system

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

FlatBuffers: Memory Efficient Serialization Library

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

FoundationDB - the open source, distributed, transactional key-value store

Convert HTML to PDF using Webkit (QtWebKit)

Mobile Shell

The Z3 Theorem Prover

High-level tracing language for Linux

C-based/Cached/Core Computer Vision Library, A Modern Computer Vision Library

C/C++ Performance Profiler

A bittorrent filesystem based on FUSE.

The Jakt Programming Language

LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their cor…

open-appsec is a machine learning security engine that preemptively and automatically prevents threats against Web Application & APIs. This repo include the main code and logic.

A minimalistic and high-performance SAT solver

A RocksDB compliant high performance scalable embedded key-value store

Simple Theorem Prover, an efficient SMT solver for bitvectors

**No Longer Maintained** Official RAMCloud repo

multi-platform bluetooth serial port library for C++