DragonFly BSD System Source Repository (read-only mirror)

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

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

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

移动端手势库

an easy to use Minecraft to Source Engine Converter

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

A custom Source Engine level editor written in Go

python alternative to Valve's "Hammer World Editor"

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

MESS (Macro Entity Scripting System): a Half-Life level compile tool.

Strong DDoser Script

HAMMER1/2 file system userspace utilities on Linux

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

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

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

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

MQTT Load Tester and Monitoring Tool

MultiPortals is a collection of instances for Portal 2 Workshop maps, providing customizable colored portals, custom sounds, and dynamic lighting effects.

Hammer World Editor replacement.