Lists (3)
Stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
C header (and language binding metadata) generator for Dear ImGui
General purpose GPU compute framework built on Vulkan to support 1000s of cross vendor graphics cards (AMD, Qualcomm, NVIDIA & friends). Blazing fast, mobile-enabled, asynchronous and optimized for…
The fully homomorhic encryption scheme based on NTRU and LWE.
From expressive code to powerful GUIs in no time: a fast, feature-rich, cross-platform toolkit for C++ & Python.
A community-maintained Python framework for creating mathematical animations.
A header only library for creating and validating json web tokens in c++
Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
DuckDB-powered Postgres for high performance apps & analytics.
DuckDB is an analytical in-process SQL database management system
A reactive caching and data-binding framework. Riverpod makes working with asynchronous code a breeze.
SafeLine is a self-hosted WAF(Web Application Firewall) / reverse proxy to protect your web apps from attacks and exploits.
A lightweight, cryptography-powered, open-source toolkit built to enforce Zero Trust security for infrastructure, applications, and data in the AI-driven world.
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
A protoc plugin that generates graphql execution code from Protocol Buffers.
Asynchronous gRPC request & response with goroutine and communication pattern
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
A Pure Python, React-style Framework for Scaling Your Jupyter and Web Apps
Intel Paillier Cryptosystem Library is an open-source library which provides accelerated performance of a partial homomorphic encryption (HE), named Paillier cryptosystem, by utilizing Intel® IPP-C…
polkit (formerly PolicyKit) is a toolkit for defining and handling authorizations. It is used for allowing unprivileged processes to speak to privileged processes.
wolfTPM is a highly portable TPM 2.0 library, designed for embedded use.
The libtpms library provides software emulation of a Trusted Platform Module (TPM 1.2 and TPM 2.0)
This is the development repository for the OpenFHE library. The current version is 1.4.2 (released on October 20, 2025).
a tiny tutorial on how to use debugfs in a Linux kernel module