TCP Connection Destruction Tool.
☆11Nov 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:
- 🐳 A Docker getting-started kit for new businesses trying to self-host their data! Includes vetted apps for team communication, office do…☆12Dec 12, 2025Updated 7 months ago
- a GitHub action to run `pre-commit` with `uv`☆22Updated this week
- Tools to dump and program FV-1 presets with 24LC32A eeprom.☆12Apr 6, 2021Updated 5 years ago
- Pyed Piper tool by Toby Rosen at Sony Imageworks converted to Python 3☆35Dec 7, 2021Updated 4 years ago
- IntelliJ Pyxl Extensions☆21Apr 15, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 6 months ago
- network-filter☆19Dec 2, 2025Updated 7 months ago
- Rodo is a terminal-based todo manager written in Ruby☆33Sep 9, 2024Updated last year
- A Google Chrome extension that executes JavaScript and CSS files in ~/.w3☆27May 5, 2013Updated 13 years ago
- Improved Python Traceback Module☆22Dec 18, 2018Updated 7 years ago
- RESTful services translating the flashing led on electricity or gas meter to JSON using a 555 timer chip, Python, NodeJS and a Raspberry …☆27Oct 6, 2016Updated 9 years ago
- Small and highly portable detection tests.☆13Oct 12, 2017Updated 8 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Manage cache of active BGP routes☆11Jan 31, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Evolutionary decision trees☆11Jun 16, 2025Updated last year
- The Plaid Programming Language Tools☆14Apr 11, 2015Updated 11 years ago
- Django Photo Gallery with Bootstrap Carousel☆11Jul 14, 2026Updated last week
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- ARP ping detector on local network☆15Feb 3, 2013Updated 13 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 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.
- Simple app deployment using only SSH and Docker.☆14Mar 29, 2021Updated 5 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 9 years ago
- Oracle Attacks Tool☆13Aug 9, 2016Updated 9 years ago
- An incredibly simple (but fast) network message queueing system, written in Python.☆66May 26, 2009Updated 17 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆13Jul 16, 2024Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Build script for compiling python into a static library that can be used with the official SDK☆27Jul 6, 2011Updated 15 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.
- Uses InstallUtil.exe to load a compatible executable from a network share.☆12Mar 8, 2016Updated 10 years ago
- Forwards syslog messages to Kafka☆16Oct 19, 2015Updated 10 years ago
- Wrap Nornir with Ansible-like host/group limits and tagging!☆12Jan 12, 2020Updated 6 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Pure-Rust Command Line Editing Library☆27Jul 29, 2016Updated 9 years ago
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Jun 2, 2026Updated last month