Search Results - RepositoryStats

122

555

other

71

DragonFly BSD System Source Repository (read-only mirror)

bsd unix hammer hammer2 dragonflybsd

Created 2010-07-04

44,041 commits to master branch, last one 13 days ago

31

222

other

8

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

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

Created 2018-01-31

597 commits to coq8.20 branch, last one 2 months ago

15

150

mit

111

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

wp-ha hammer wordpress

This repository has been archived (exclude archived)

Created 2016-03-04

99 commits to trunk branch, last one about a year ago

19

118

mit

17

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

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

Created 2022-03-13

135 commits to main branch, last one 2 months ago

10

52

gpl-3.0

4

an easy to use Minecraft to Source Engine Converter

vmf hammer converter minecraft source-engine

Created 2020-03-27

21 commits to master branch, last one 4 years ago