DragonFly BSD System Source Repository (read-only mirror)
-
Updated
Dec 7, 2020 - C
#
hammer
Here are 49 public repositories matching this topic...
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
-
Updated
Nov 17, 2020 - OCaml
Hammer from 2007 brought up to 2013 standards, with added features
-
Updated
Nov 29, 2020 - C++
an easy to use Minecraft to Source Engine Converter
-
Updated
Sep 23, 2020 - Java
A custom Source Engine level editor written in Go
-
Updated
Nov 28, 2020 - Go
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).
-
Updated
Jul 19, 2017 - Lua
Various Community Made Open Source Maps for the game 'Fortress Forever'.
-
Updated
May 15, 2020 - Lua
A project dedicated to improving the Valve Hammer Editor through DLL injection
-
Updated
Aug 11, 2018 - C++
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.
-
Updated
Aug 14, 2018 - Coq
idl_emcee - IDL implementation of the affine-invariant MCMC Hammer
-
Updated
Oct 18, 2020 - IDL
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
-
Updated
Jun 10, 2018 - Python
Adds a steel hammer and the powerful version that you can create from it
-
Updated
Apr 12, 2020 - Lua
The Search Engine That Will Go Against Google [Work In Progress]
open-source
search-engine
machine-learning
privacy
secure
roshan
hammer
roshan-lamichhane
hacktoberfest2020
best-search-engine
-
Updated
Nov 22, 2020 - HTML
Hammer candlestick pattern recognition algorithm
-
Updated
Apr 27, 2020 - JavaScript
Improve this page
Add a description, image, and links to the hammer topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hammer topic, visit your repo's landing page and select "manage topics."
QtPyHammer needs a UI element to select textures and assign them to selected faces
See the project for a rough outline of what needs doing / is done already
work with @snake-biscuits to figure out how to attach the UI & tools to a selection
since they will be working on selecting in 3D for #7