Firmware Analysis Tool

Generate any location from the real world in Minecraft Java Edition with a high level of detail.

Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available

Skytable is a modern scalable NoSQL database with BlueQL, designed for performance, scalability and flexibility. Skytable gives you spaces, models, data types, complex collections and more to build…

Transforms UDP stream into (fake) TCP streams that can go through Layer 3 & Layer 4 (NAPT) firewalls/NATs.

Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Reversing Dark Souls 3