binaryflesh's repositories
aleth
Aleth – Ethereum C++ client, tools and libraries
angr
A powerful and user-friendly binary analysis platform!
automation-working-group
CVE Automation Working Group
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
vyper
Pythonic Smart Contract Language for the EVM