Projects in Awesome Lists tagged with hammer

https://github.com/dragonflybsd/dragonflybsd

DragonFly BSD System Source Repository (read-only mirror)

bsd dragonflybsd hammer hammer2 unix

Last synced: 12 Mar 2026

https://github.com/DragonFlyBSD/DragonFlyBSD

DragonFly BSD System Source Repository (read-only mirror)

bsd dragonflybsd hammer hammer2 unix

Last synced: 20 Mar 2025

https://github.com/lukaszcz/coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

automation coq dependent-types hammer proof-search theorem-prover verification

Last synced: 12 Apr 2025

https://github.com/10up/wp-hammer

ARCHIVED: Please see https://github.com/10up/wp-scrubber as replacement.

hammer wordpress wp-ha

Last synced: 14 May 2025

https://github.com/radiatoryang/scopa

Unity level design plugin that adds support for Quake .MAP / Half-Life .RMF / Source .VMF, Q1 HL1 .WAD textures, and .FGD export.

3d environment game game-development half-life half-life-2 hammer level-design level-editor mod modeling quake quake-engine source-engine trenchbroom unity unity-editor unity-package unity3d

Last synced: 05 Apr 2025

https://github.com/xd-tayde/mtouch

移动端手势库

drag finger gesture hammer mtouch pinch rotate singlepinch singlerotate sticker touch

Last synced: 30 Oct 2025

https://github.com/xd-tayde/touchkit

基于mtouch封装的，更便于业务使用的贴纸手势库

finger gesture hammer image-composer sticker tie-zhi touch

Last synced: 30 Oct 2025

https://github.com/galaco/lambda

A custom Source Engine level editor written in Go

bsp hammer level-editor source-engine source-engine-sdk valve vmf

Last synced: 28 Jul 2025

https://github.com/galaco/bsp

Go package for parsing Valve's Source Engine .bsp (Binary Space Partition) map files

bsp hammer map parser source-engine valve

Last synced: 28 Jul 2025

https://github.com/kusumi/lh1

HAMMER1/2 file system userspace utilities on Linux

filesystem hammer hammer2 linux

Last synced: 22 Apr 2025

https://github.com/drdataye/drdos

DrDos is a powerful tool 🛠 designed for conducting Distributed Denial of Service (DDos) attacks 🌪

ddos ddos-attack-tools ddos-attacks ddoser dos hammer

Last synced: 13 Apr 2025

https://github.com/MrFalconn/FalconDDoser

Strong DDoser Script

attack attacker ddos-attack-tools ddos-tool ddoser ddoser-script dos enterprise falcon falconddoser github hammer linux mac pro proddoser python3 script termux windows

Last synced: 11 Mar 2025

https://github.com/houfeng/react-finger

👉 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.

desktop events gesture hammer mobile pinch pinch-to-zoom pointer pointerevents react swipe tap touch touchevent

Last synced: 13 Aug 2025

https://github.com/kpn/mq-hammer

MQTT Load Tester and Monitoring Tool

go golang hammer load-testing mqtt stop time

Last synced: 13 Apr 2025

https://github.com/emily33901/forgery-go

Hammer World Editor replacement.

hammer valve

Last synced: 12 Apr 2025

https://github.com/leops/fgdparser

Parser for the Forge Game Data format

hammer source-engine

Last synced: 28 Oct 2025

https://github.com/emily33901/forgery

Source engine hammer editor rewrite in Go

csgo hammer imgui steam

Last synced: 12 Apr 2025

https://github.com/nullprop/shovel

A heightmap to displacement importer for Source 2 Hammer editor.

hammer source-engine

Last synced: 08 May 2025

https://github.com/lukaszcz/coq-imp

Coq version of (part of) the HOL-IMP theories accompanying the book "Concrete Semantics with Isabelle/HOL". Formalized using a now outdated version of CoqHammer.

coq coq-formalization coqhammer hammer hol

Last synced: 23 Apr 2025

https://github.com/lonewolfht/hammer_of_power

Adds a steel hammer and the powerful version that you can create from it

hammer minetest minetest-mod mtg-mod nodecore-mod

Last synced: 11 Oct 2025

https://github.com/encryptex/hammer

Elevate your Discord community with our advanced bot. Comprehensive moderation, intelligent AutoMod, and enhanced chat controls. Crafted for seamless management. - Origined by #DISCORD HACK WEEK 2019

automod bot discord discord-bot discord-mod-bot discord-moderation-bot hacktoberfest hammer moderation moderation-bot py-cord pycord spam-filtering