You can find the page under Misc -> Own Productions -> DIY Open Source Stuff. This page will contain links to our projects on GitHub.
Our pcbs are exported to CAM files and are ready to upload to sites like jlcpcb for manufacture.
More of our projects will be open sourced within the upcoming days. Though don’t expect anything fancy.