binaryflesh's repositories

holyc

C implementation used for TempleOS. WIP: Specification, Compiler, Coverage, Wiki

License:Apache-2.0Stargazers:5Issues:1Issues:0

ACE

Analysis Correlation Engine

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

aiofsm-toolkit

profiling utilities for coupled finite state machines

License:MITStargazers:0Issues:1Issues:0

aiohttp-sse

Server-sent events support for aiohttp

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

awesome-asyncio

A curated list of awesome Python asyncio frameworks, libraries, software and resources

License:NOASSERTIONStargazers:0Issues:1Issues:0

chainspace-prototype

Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.

Language:PythonStargazers:0Issues:1Issues:0

checkdmarc

A parser for SPF and DMARC DNS records

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:HaskellStargazers:0Issues:1Issues:0

cwe_checker

cwe_checker is a BAP plugin to find vulnerable patterns in binary executables

Language:OCamlLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

erlamsa

Erlang port of famous radamsa fuzzzer.

Language:ErlangLicense:MITStargazers:0Issues:1Issues:0

FACT_core

Firmware Analysis and Comparison Tool

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

kpet

KPET - Kernel Patch-Evaluated Testing

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

lbry.tech

Technical documentation website for the LBRY protocol

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

lbryum

a lightweight client for lbrycrd

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

mitmproxy

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

napalm

Network Automation and Programmability Abstraction Layer with Multivendor support

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

openlibrary

One webpage for every book ever published!

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

peda

PEDA - Python Exploit Development Assistance for GDB

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

pytm

A Pythonic framework for threat modeling

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

quorum

A permissioned implementation of Ethereum supporting data privacy

Language:GoLicense:LGPL-3.0Stargazers:0Issues:1Issues:0
Language:GoLicense:MITStargazers:0Issues:1Issues:0

skt

"Sonic Kernel Testing" - a Linux Kernel testing tool

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

sniffio

Sniff out which async library your code is running under

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

spee.ch

An image hosting service on top of the LBRY protocol.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

squad

Software Quality Dashboard

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

tangent

Source-to-Source Debuggable Derivatives in Pure Python

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

U-Fabrik

U-Fabrik is a Simulation Environment for UML Models

Language:SmalltalkStargazers:0Issues:1Issues:0

YalpStore

Download apks from Google Play Store

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

yokadi

Command line oriented, sqlite powered, todo list

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

zaproxy

The OWASP ZAP core project

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0