IoT static scanner for secrets, SBOM, CVEs and more.
☆235Sep 18, 2026Updated this week
Alternatives and similar repositories for mithril
Users that are interested in mithril are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Dragonfly badge as seen at DEFCON26☆21Aug 12, 2018Updated 8 years ago
- SMART Response XE based pagers for the 503 Party 2019☆16Aug 1, 2019Updated 7 years ago
- Library to manipulate and create Sourcetrail databases☆24Jul 6, 2026Updated 2 months ago
- ☆10Oct 22, 2017Updated 8 years ago
- Notepad++ Syntax Highlighting for Languages Used by Cyber Security Professionals☆14May 31, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Aug 30, 2026Updated 2 weeks ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated last year
- Better type id and Any for Rust☆17Dec 12, 2025Updated 9 months ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆13Jun 11, 2025Updated last year
- Scripts I use to test Mirage unikernels on QubesOS☆10Mar 26, 2020Updated 6 years ago
- slightly-revived and hacked fork of the old noah (NOvel Archicture Hypervisor?) project for using linux vendor tools on macos☆19May 9, 2022Updated 4 years ago
- Detect compiler names and versions from ELF files☆26May 13, 2025Updated last year
- Statistics from our binary transformation framework☆12Jan 16, 2025Updated last year
- Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)☆15Oct 9, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- Public repository of the dynamic binary analysis framework WEASEL. WEASEL's main purpose is the identification and elimination of backdoo…☆15Nov 10, 2020Updated 5 years ago
- scripts to automate configuration tasks in Fortigate☆11May 1, 2015Updated 11 years ago
- Low-level OCaml/Java interface☆14Aug 12, 2024Updated 2 years ago
- A rust library for converting between UTF-8, UTF-16 and UTF-32 characters.☆13Jul 5, 2024Updated 2 years ago
- Calculation of euclidean distance between vectors, with SIMD☆13Jan 17, 2024Updated 2 years ago
- OwlH Master API Web User Interface☆13May 5, 2024Updated 2 years ago
- Generic async runtime functions using a pluggable dispatcher☆19May 31, 2024Updated 2 years ago
- A Collection of Proof of Concepts for non-published Web Exploits and Common CVEs☆10Nov 29, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A python package that helps with analysis of MSI files☆14Mar 28, 2021Updated 5 years ago
- random ctf bits☆10Nov 18, 2024Updated last year
- R package for IP addresses☆15Sep 20, 2015Updated 10 years ago
- This tool helps you pentest THE PAST of a website.☆15Jul 13, 2025Updated last year
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆14Jul 19, 2018Updated 8 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- Data Analytics Library for Python☆17Updated this week
- PoC☆12Apr 7, 2025Updated last year
- Tools to work with the CRAB open data☆14Nov 5, 2013Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Jan 16, 2026Updated 8 months ago
- ☆19Aug 13, 2015Updated 11 years ago
- Globally distributed honeypots and HoneyNets IOCs and file reversing☆16Apr 22, 2024Updated 2 years ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆15Jul 11, 2025Updated last year
- For an Internet Service Provider, AS numbers are a logical representation of the other ISP peering or communicating with his autonomous s…☆22Apr 15, 2016Updated 10 years ago
- Rust interface for the RDFox database☆13Mar 15, 2026Updated 6 months ago
- Experiment with BACnet stack clients and servers in a single machine docker compose framework☆13Mar 18, 2019Updated 7 years ago