REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A modern proof language

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Linux VR Desktop

Ethereum smart contract fuzzer

Dapp, Seth, Hevm, and more

A peer-to-peer stack for code collaboration

Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.

A class for types with a default value

poststructural fuzzing

simple haskell p2p with tls support