hammer topic

DragonFly BSD System Source Repository (read-only mirror)

DragonFlyBSD

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

lukaszcz

移动端手势库

xd-tayde

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

Galaco

A custom Source Engine level editor written in Go

Galaco

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

Metastruct

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

radiatoryang

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

xd-tayde

Strong DDoser Script

MrFalconn

an easy to use Minecraft to Source Engine Converter

Garten