Open-source alternatives to Coq Serapi

This project is a command-line tool that can be used to generate 'fragroute-like' tests using Scapy. Fragroute's goal was to intercept network packets and modify them "on-the-fly" according to the configuration defined in a config file. So automating tests of different modifications, requires to…

Code evolution analysis for Git repositories. It currently supports Python, JavaScript, TypeScript, and Java.

This collection called cassandra aims at providing all Ansible modules allowing to interact with Apache Cassandra.

PacketWeaver (pw) is a Python script filing and task sequencing framework.

WC Loader Webcomponents webpack loader . Supports hot code reload. 🚽 😜 DEMO - https://github.com/aruntk/polymer-webpack-demo Polymer Webpack Apollo-Graphql Demo - https://github.com/aruntk/githunt-polymer

```sh

Like nmap for mapping wifi networks you're not connected to. Maps and tracks wifi networks and devices through raw 802.11 monitoring.

TorPylle

Send Sir Perceval on a quest to retrieve and gather data from software repositories.

Download CSET For Windows: CSET 10.1 Standalone Installer

Translate OCaml programs to similar-looking code in Coq, an extremely expressive formal language to express and formally verify any kinds of properties (preservation of invariants, absence of assert failures, backward compatibility, ...). We use coq-of-ocaml to formally verify the "protocol"…

coq-dpdgraph

Alectryon

Python >= 3.8

Thoroughly sniff passwords and hashes from an interface or pcap file. Concatenates fragmented packets and does not rely on ports for service identification.

ISF(Industrial Control System Exploitation Framework)，a exploitation framework based on Python

Cassandra operations have historically been command line driven. The management of operational tools for Apache Cassandra have been mostly outsourced to teams who manage their specific environments.

Compare-and-swap in Cassandra

#Redpoint

Maven miner is a set of java tools aiming at, programmatically, resolving all Maven dependencies hosted in the Maven central repository, then, storing them into a graph database. First, the maven central index is resolved and transformed into a flat file, containing all the hosted dependencies…

A mirror of Polymer's components so that they can be used directly from CDN

C Quality Metrics

ISO over TCP / S7Comm protocol analyzer.

A generic goal preprocessing tool for proof automation tactics in Coq

#smod smod is a modular framework with every kind of diagnostic and offensive feature you could need in order to pentest modbus protocol. It is a full Modbus protocol implementation using Python and Scapy. This software could be run on Linux/OSX under python 2.7.x.