A tool to unify the command line of Windows/Linux/MacOS using modern Rust tools
☆25Aug 9, 2022Updated 3 years ago
Alternatives and similar repositories for modern
Users that are interested in modern are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine in Rust☆22Oct 8, 2023Updated 2 years ago
- Binary Ninja plugin to clean up some common obfuscation techniques.☆22Jun 8, 2020Updated 5 years ago
- Interface GDB-GEF with Binary Ninja☆58Mar 27, 2021Updated 4 years ago
- pytasks is a modular and customizable microservice for running computational tasks on workers and viewing its results through a REST API.☆10Jun 21, 2025Updated 8 months ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- ☆79Jul 26, 2022Updated 3 years ago
- Decompiled source code of GhostCtrl. It’s not the original source code☆10Jul 26, 2017Updated 8 years ago
- ☆57Jul 2, 2025Updated 8 months ago
- Mixtures.info website source code.☆12Jan 28, 2025Updated last year
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- ☆10Nov 28, 2021Updated 4 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- AARGH - An Arch Ricing Gentle Helper☆10Aug 22, 2025Updated 6 months ago
- Programmers' GUI tool for converting between various data types.☆12Jul 22, 2024Updated last year
- 🕷️MITMProxy + Ettercap = PWNd☆11Dec 5, 2018Updated 7 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- /GUI-powered patchers constructor/☆12Apr 21, 2019Updated 6 years ago
- LoL Account Manager v2.0.2 is an account storing utility program for people who play on multiple League of Legends accounts within differ…☆11Feb 15, 2022Updated 4 years ago
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 4 years ago
- Magiccommit: Effortless Git Commits with AI☆10Oct 1, 2023Updated 2 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Windows binaries for mickael9's script that extracts contents from BitRock installers.☆12Apr 18, 2021Updated 4 years ago
- Quantum Principal Component Analysis (QPCA) as a generative model☆13Apr 5, 2022Updated 3 years ago
- This is the linux version of the R.A.T client written in c#☆10Jun 25, 2017Updated 8 years ago
- Collection of malware ioc hashes from blog posts. A Python script is provided to search through it.☆19Sep 10, 2020Updated 5 years ago
- Official Website of Hypercrx☆13Jan 8, 2025Updated last year
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 7 years ago
- Pentester's toolbox☆12Jan 21, 2026Updated last month
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- MachO editor / disassembler. No internet, no os requirements, just need a browser ;)☆12May 13, 2019Updated 6 years ago
- ☆11Jul 1, 2025Updated 8 months ago
- A PyTorch implementation of the paper https://arxiv.org/abs/1709.04875☆10Jul 22, 2020Updated 5 years ago
- Declarative, type-safe json-rpc endpoints library☆10Sep 26, 2023Updated 2 years ago
- Wikipedia-like interface for querying an OLLAMA language model. Users can input their queries, and the app will generate informative resp…☆13Nov 4, 2024Updated last year
- this is a tcl script for unpacking bitrock packed archives☆16Sep 27, 2020Updated 5 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago