binaryflesh

aleth

Aleth – Ethereum C++ client, tools and libraries

angr

A powerful and user-friendly binary analysis platform!

automation-working-group

CVE Automation Working Group

binaryflesh.github.io

bitcoin

Bitcoin Core integration/staging tree

BLAKE3

official implementations of the BLAKE3 cryptographic hash function

cakeml

CakeML: A Verified Implementation of ML

cpython

The Python programming language

cve-search

cve-search - a tool to perform local searches for known vulnerabilities

cve-search-ng

WiP - cve-search next gen

deepstate

A unit test-like interface for fuzzing and symbolic execution

designate

OpenStack DNS As A Service (Designate)

dnspython

a powerful DNS toolkit for python

dolibarr

Dolibarr ERP CRM is a modern software package to manage your company or foundation activity (contacts, suppliers, invoices, orders, stocks, agenda, ...).It's opensource software (wrote with PHP language) designed for small and medium companies, foundation and freelances. You can freely install, use and distribute it as a standalone application or as a web application to use it from every internet access and media.

Firmware_Slap

Discovering vulnerabilities in firmware through concolic analysis and function clustering.

FStar

Verification system for effectful programs

go-ethereum

Official Go implementation of the Ethereum protocol

hyper

A terminal built on web technologies

manticore

Symbolic execution tool

Mobile-Security-Framework-MobSF

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

monero

Monero: the secure, private, untraceable cryptocurrency

parity-ethereum

The fast, light, and robust EVM and WASM client.

polkadot-spec

Polkadot Protocol Specification and Conformance Tests

ppp

PPP daemon and associated utilities

pronto

A Python frontend to Ontologies.

protofuzz

Google Protocol Buffers message generator

solidity

Solidity, the Contract-Oriented Programming Language

trinity

The Trinity client for the Ethereum network

vulnpedia

Handy Common Vulnerabilities and Exposures (CVE) warehouse in python

vyper

Pythonic Smart Contract Language for the EVM