30 open-source projects similar to ejgallego/coq-serapi, ranked by how many features they have in common. Compare stars, activity and what each one does to find the best Coq Serapi alternative.
Chiron is an IPv6 Security Assessment Framework, written in Python and employing Scapy. It is comprised of the following modules: • IPv6 Scanner • IPv6 Local Link • IPv4-to-IPv6 Proxy • IPv6 Attack Module • IPv6 Proxy. All the above modules are supported by a common library that allows the…
Rocqnavi is a fork of coq2html. It generates HTML documentation from Rocq files. Proof scripts are hidden by default but can be revealed by clicking (folding in action).
react-sketchapp is a design system automation tool that translates React components into native Sketch design layers. It functions as a custom renderer that maps a virtual component tree to a design canvas, allowing for the programmatic generation and updating of design files from source code. The project provides a framework for building custom design utilities and automation scripts by treating the visual canvas as a programmable target. It includes a system for fetching external data to populate design components, enabling the creation of high-fidelity mockups and data-driven prototypes.
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
Like nmap for mapping wifi networks you're not connected to. Maps and tracks wifi networks and devices through raw 802.11 monitoring.
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"…
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.
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
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.