hammer
Here are 90 public repositories matching this topic...
Language:All
Sort:Most stars
DragonFly BSD System Source Repository (read-only mirror)
- Updated
Mar 17, 2025 - C
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
- Updated
Mar 5, 2025 - OCaml
ARCHIVED: Please seehttps://github.com/10up/wp-scrubber as replacement.
- Updated
Jan 24, 2024 - PHP
Unity level design plugin that adds support for Quake .MAP / Half-Life .RMF / Source .VMF, Q1 HL1 .WAD textures, and .FGD export.
- Updated
Nov 23, 2024 - C#
an easy to use Minecraft to Source Engine Converter
- Updated
Jun 14, 2023 - Java
A custom Source Engine level editor written in Go
- Updated
Mar 17, 2025 - Go
python alternative to Valve's "Hammer World Editor"
- Updated
Jun 18, 2024 - Python
MESS (Macro Entity Scripting System): a Half-Life level compile tool.
- Updated
Nov 20, 2024 - C#
Strong DDoser Script
- Updated
Jan 25, 2022 - Python
DrDos is a powerful tool 🛠 designed for conducting Distributed Denial of Service (DDos) attacks 🌪
- Updated
Jan 20, 2025 - Python
👉 React Finger is a library of gesture events for React that allows developers to use a single set of events for both desktop and mobile devices.
- Updated
Nov 26, 2024 - TypeScript
Developer tool that allows you to create curved brushed road in the game, and then export them to vmf. It is useful when building roads on displacement surfaces (mountains, hills).
- Updated
Jul 19, 2017 - Lua
MultiPortals is a collection of instances for Portal 2 Workshop maps, providing customizable colored portals, custom sounds, and dynamic lighting effects.
- Updated
Nov 5, 2023 - Squirrel
Improve this page
Add a description, image, and links to thehammer topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thehammer topic, visit your repo's landing page and select "manage topics."