hammer

DragonFly BSD System Source Repository (read-only mirror)

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

移动端手势库

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

an easy to use Minecraft to Source Engine Converter

A custom Source Engine level editor written in Go

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

Tools for map compiling in Source Engine, tailored for Garry's Mod (and metastruct, sorry)

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

Forgery 2 electric boogaloo

Hammer World Editor replacement.

Various Community Made Open Source Maps for the game 'Fortress Forever'.

A project dedicated to improving the Valve Hammer Editor through DLL injection

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.

MQTT Load Tester and Monitoring Tool

Parser for the Forge Game Data format

Change the Valve Hammer Editor language to any of the ones available.

Go package containing some common Source Engine utilities

A simple application that allows you to place markers on the CSGO radar.

All the tools you need

idl_emcee - IDL implementation of the affine-invariant MCMC Hammer

A simple python script to compile all .vmf files in the same directory. Easily customisable and fast!

Sync pupperserver envs with foreman

Simple python script that will copy textures used by a Garry's Mod or any other Source game's map/model to the target directory

🔨 use-hammer : React Long Press Event

🗺️ The map for our trade server, as well as all the assets <3

Symmetric Attack/Defend

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

The Search Engine That Will Go Against Google [Work In Progress]