mfaulk Goto Github PK

actix-web

Actix web is a small, pragmatic, and extremely fast rust web framework.

afwall

AFWall+ (Android Firewall +) - Firewall for Android

akka-cluster-deploy

Akka cluster + Docker + CoreOS

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

altdns

Generates permutations, alterations and mutations of subdomains and then resolves them

angular-websocket

Angular and Socket.io

angular-websocket-kafka

angular, socket.io and Kafka

apt2

automated penetration toolkit

arbitrum

Powers fast, private, decentralized applications

auth-experiment

autosploit

Automated Mass Exploiter

awesome-security

A collection of awesome software, libraries, documents, books, resources and cools stuffs about security.

awesome-zero-knowledge-proofs

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

aztec

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

barter-rs

Open-source Rust framework for building event-driven live-trading & backtesting systems

bcs

Rust implementation of the Binary Canonical Serialization (BCS) format

bcs-1

beam

Mirror of Apache Beam

beam-samples

bellman

zk-SNARK library

bgp4j

Java implementation of the BGP4 protocol.

binproxy

BinProxy is a proxy for arbitrary TCP connections. You can define custom message formats using the BinData gem.

blake2s

Verilog implementation of the 32-bit version of the Blake2 hash function

blocklist-ipsets

ipsets dynamically updated with firehol's update-ipsets.sh script

blog-coreos-2

Source code for this blog post: http://marceldegraaf.net/2014/05/05/coreos-follow-up-sinatra-logstash-elasticsearch-kibana.html

bluto

DNS Recon | Brute Forcer | DNS Zone Transfer | DNS Wild Card Checks | DNS Wild Card Brute Forcer | Email Enumeration | Staff Enumeration | Compromised Account Checking

bounded-spsc-queue

A Bounded SPSC queue for Rust

brd-mobile

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-lang