Open Source Continuous File Synchronization

The Z3 Theorem Prover

Tool for smart contracts' deployment to Dusk blockchain.

A library that provides an embeddable, persistent key-value store for fast storage.

Cap'n Proto serialization/RPC system - core tools and C library

📦✨ your favorite rust -> wasm workflow tool!

A tiny C header-only risc-v emulator.

Markdown for the component era

A native RethinkDB driver written in Rust

The open-source database for the realtime web.

An app to view libraries used in apps in your device.

Get Android app updates straight from the source.

Android document document scanning app

Nitro goes vroom and fixes everything

Check your WAF before an attacker does

Uncover the true IP address of websites safeguarded by Cloudflare & Others

In-depth attack surface mapping and asset discovery

The most exhaustive list of reliable DNS resolvers.

Gather and update all available and newest CVEs with their PoC.

Real-world infosec wordlists, updated regularly

MassDNS wrapper written in go to enumerate valid subdomains using active bruteforce as well as resolve subdomains with wildcard filtering and easy input-output support.

A high-performance DNS stub resolver for bulk lookups and reconnaissance (subdomain enumeration)

Cloudflare, Sucuri, Incapsula real IP tracker.

CrimeFlare is a useful tool for bypassing websites protected by CloudFlare WAF, with this tool you can easily see the real IP of websites that have been protected by CloudFlare. The resulting infor…

Aave's V3 Protocol on Aptos

Rust Smart Contracts on Arbitrum

A GitHub Action that implements smart caching for rust/cargo projects

A code coverage tool for Rust projects

Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.

Raft distributed consensus algorithm implemented in Rust.