The Boo Programming Language.

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A reference implementation for the Wormhole blockchain interoperability protocol.

Wormhole Connect brings all the functionality and utility of Wormhole right into your application and removes all of the complexity.

hello-wormhole

A symbolic testing tool for EVM smart contracts

tar creator+extractor in ~100 lines of prolog

fr fr

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

A cross-platform x86 assembler with an Intel-like syntax

External agents for the Dogecoin <-> Ethereum bridge

Truebit Verification for Scrypt

Documentation for the Dogecoin <-> Ethereum bridge.

Command line tools for the Dogecoin <-> Ethereum bridge

Ethereum contracts for the Dogecoin <-> Ethereum bridge

OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.

Wrangling Untrusted File Formats Safely

ShellCheck, a static analysis tool for shell scripts

Deviare In Process Instrumentation Engine

🔌 TypeScript bindings for Ethereum smart contracts

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Deviare API Hook

A curated list of awesome infosec courses and training resources.