Displaying 1 to 3 from 3 results

hazel - Hazel, a live functional programming environment with typed holes

  •    Coq

Hazel is a live functional programming environment rooted in the principles of type theory. You can find the relevant papers and more motivation at the Hazel website. You can build Hazel using the following instructions.

guitarspecs - Overview of the electric guitar's parts specs

  •    HTML

This is a "top-down checklist" for the assembly of a solid-body electric guitar. It can help you to build a guitar with specific sound and playability characteristics. Please read licence and the contribution guidelines before contributing.