A stablizing reserve currency protocol

Turn a $30 USB switch into a full-featured multi-monitor KVM switch

Simple Open Source EtherCAT Master

Obsolete EVM contract experiments. Find current development at: https://github.com/aurora-is-near/aurora-engine

Repo for Getting Started With ACPI

Intel Wi-Fi Drivers for macOS

Declarative User Interfaces for Python

A powerful static binary rewriting tool

Enable adbd as root on any ROM

Discovering vulnerabilities in firmware through concolic analysis and function clustering.

Easily document cables and wiring harnesses.

Multilingual BLS12-381 signature library

Rhai - An embedded scripting language for Rust.

Virtual whiteboard for sketching hand-drawn like diagrams

Automatic verification of LLVM optimizations

Chrome-extension implant that turns victim Chrome browsers into fully-functional HTTP proxies, allowing you to browse sites as your victims.

Python Exploration with Z3

The BLAKE3 paper: specifications, analysis, and design rationale

high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD

The password hash Argon2, winner of PHC

the official Rust and C implementations of the BLAKE3 cryptographic hash function

Free Client for OneDrive on Linux

A tool to help when dealing with Windows IOCTL codes or reversing Windows drivers.

Exchema is a schema description, coercer and validator tool for Elixir

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Waitress - A WSGI server for Python 3

A free (as in freedom) OCaml textbook

Paul's PPP Package: PPP daemon and associated utilities | Official GitHub repo: https://github.com/ppp-project/ppp

playSMS is a web interface for SMS gateways and bulk SMS services

The fast, light, and robust client for Ethereum-like networks.