Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
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
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).
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.
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