TCP Connection Destruction Tool.
☆13Nov 18, 2016Updated 9 years ago
Alternatives and similar repositories for thor
Users that are interested in thor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated WiFi limit evasion☆119Jan 26, 2017Updated 9 years ago
- Elevation by environment variable expansion☆64Nov 24, 2016Updated 9 years ago
- Python tool to capture images via Sony WiFi camera interface☆11Feb 11, 2015Updated 11 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago
- ☆14Jan 26, 2015Updated 11 years ago
- Rodo is a terminal-based todo manager written in Ruby☆34Sep 9, 2024Updated last year
- Some python scripts for beginners, written for the book Automating The Internet with Python☆13Oct 1, 2018Updated 7 years ago
- A tiny PoC to inject and execute code into explorer.exe with WM_SETTEXT+WM_COPYDATA+SetThreadContext☆53Apr 29, 2018Updated 7 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Convert ARIN Whois bulk data to computer parsable routing data☆10Jan 2, 2018Updated 8 years ago
- Small and highly portable detection tests.☆12Oct 12, 2017Updated 8 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Linux Containers via Chef☆59Apr 5, 2022Updated 3 years ago
- Task manager built around the gevent green threads library.☆17Feb 3, 2019Updated 7 years ago
- The Plaid Programming Language Tools☆12Apr 11, 2015Updated 10 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 8 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Django Photo Gallery with Bootstrap Carousel☆11Mar 3, 2026Updated 3 weeks ago
- ARP ping detector on local network☆15Feb 3, 2013Updated 13 years ago
- reboot manager for Flatcar Container Linux☆14Nov 24, 2025Updated 4 months ago
- PowerDNS CLI☆25Jul 22, 2016Updated 9 years ago
- Jupyter notebook calculating the probability of landing on each space on a Monopoly board☆11Dec 29, 2019Updated 6 years ago
- Simple app deployment using only SSH and Docker.☆14Mar 29, 2021Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Uses the default firebird database credentials to perform a database dump☆11Jan 10, 2015Updated 11 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 8 months ago
- Oracle Attacks Tool☆13Aug 9, 2016Updated 9 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 11 months ago
- Desktop shortcuts (.desktop) create a risk for code execution via social engineering☆10Feb 6, 2017Updated 9 years ago
- A date and time library for Lean 4☆14Apr 12, 2025Updated 11 months ago
- Uses InstallUtil.exe to load a compatible executable from a network share.☆12Mar 8, 2016Updated 10 years ago
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- A real-time ping plotter in Python☆11Jan 5, 2022Updated 4 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago