This repo lies. There are no stl files.
A collection of openscad files for 3d printing projects
Filenames and internal comments are self explanatory, use openscad to generate stl's that can be manipulated for 3D printing
on appropriate systems, openscad can be run at the commandline with make:
$make Noisecoin.stl
uses your openscad install to generate a stl from the 'Noisecoin.scad' file.
$make Noisecoin.png
uses your openscad install to generate a png image from the 'Noisecoin.scad' file.
openscad is available at https://openscad.org