🦆(WIP) Bindings to Duktape in the browser using WebAssembly

A collection of practical security-focused guides and checklists for smart contract development

Covid-19 spread simulator with human mobility and intervention modeling.

The Whitepaper of Continuous Organisations

Get up to speed on Maximum Extractable Value

A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

formal verification of multicollateral dai in the K framework

K Semantics of the Ethereum Virtual Machine (EVM)

Contains all the components necessary to run a DC finals (attack-defense CTF) game from OOO.

A curated list of awesome Ethereum security references

A computer security puzzle game

Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.

Simple, intentionally-limited versions of web3 protocols & apps.

🕶 Design fun and insightful CTF challenges

Image addon for xterm.js

A sorted and updated list of security wargame sites.

Modern, opinionated, and gas optimized building blocks for smart contract development.

🕶 A high-level overview of the EVM security ecosystem

EVM agent-based token simulator 🐟🌪️

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!

Actively maintained LPMUD driver (LPC interpreter, MudOS fork)

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

An open source, self-hosted implementation of the Tailscale control server

Define infrastructure resources using programming constructs and provision them using Azure ARM templates

A collection of postmortems. Sorry for the delay in merging PRs!

Multi-Cloud Security Auditing Tool

Privacy guides reference material (archived)

Etherpad: A modern really-real-time collaborative document editor.