Implementation of the Google Zero-Knowledge library for Identity Protocols.

Hardware-based attestation and intrusion detection app for Android. It provides both local verification with another Android device via QR codes and optional scheduled server-based verification wit…

unit and quantity arithmetic for swi-prolog

Windows inside a Docker container.

dnssd-mini is a minimal client for mDNS and DNS-SD

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Collection of awesome vim9script plugins.

Papers from the computer science community to read and discuss.

uTorrent Transport Protocol library

Rust Fullstack Framework

📱 Curated list of THE BEST FOSS Android apps to maximize your freedom & privacy!

Messing with Lean

A ready-to-run client for the CENO network

Neqo, the Mozilla Firefox implementation of QUIC in Rust

A secure peer-to-peer file synchronization app.

A modern proof language

SQLite3 encryption extension with support for multiple ciphers

NAT Slipstreaming allows an attacker to remotely access any TCP/UDP services bound to a victim machine, bypassing the victim’s NAT/firewall, just by anyone on the victim's network visiting a website

Attempt at tracking states of the arts and recent results (bibliography) on speech recognition.

CMake files for Crypto++ project

A C++11 library for serialization

Archivy is a self-hostable knowledge repository that allows you to learn and retain information in your own personal and extensible wiki.

A C++14 reflection library

User mode file system library for windows with FUSE Wrapper

an easy-to-use, secure and decentralized conference call application (this repository is a mirror of an internal work repository)

MySQL C++ client based on Boost.Asio

URL testing lists intended for discovering website censorship