Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Ansible Role - Docker

Emails at the heart of your business logic!

A Game of Hackers (CTF Scoreboard & Game Manager)

wayland clipboard manager with support for multimedia

Detect file content types with deep learning

Fully Open Source, End-to-End Encrypted Cloud

Medium to hard Rust questions with explanations

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

a Docker + Kubernetes network trouble-shooting swiss-army container

Layer 4 (TCP/UDP) app for Caddy

Enter your availability to find a time that works for everyone!

LaTeX to image converter with web UI using Node.js / Docker

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

✉️ Composable all-in-one mail server.

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…

💯Go Struct and Field validation, including Cross Field, Cross Struct, Map, Slice and Array diving

Simple, useful and opinionated config loader.

Software defined radio receiver powered by GNU Radio and Qt.

A modern proof language

Coppersmith's method for multivariate polynomials

Official writeups for University CTF 2023: Brains & Bytes

ASN.1 modules for pyasn1 library

A Python library for translating ASN.1 into other forms.

Cryptographic Primitive Code Generation by Fiat

Project HashClash - MD5 & SHA-1 cryptanalysis

Hash collisions and exploitations

Discover and capture container network traffic from your comfy desktop Wireshark, using a containerized service and a Wireshark plugin.

Hunt down social media accounts by username across social networks