A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

Virtual File System C++

The ultimate set of SQLite extensions

A Gallina compiler with C++17 as an intermediate representation

Verified Rust for low-level systems code

Embeddable Postgres with real-time, reactive bindings.

FSCQ is a certified file system written and proven in Coq

A High-Fidelity Web Archiving Extension for Chrome and Chromium based browsers!

A C++ wrapper for sqlite3 meant to be used in combination with sqlpp11.

A type safe SQL template library for C++

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

An FHE compiler for C++