Our carpentry compiler converts high-level geometric designs made by users to low-level fabrication instructions that can be directly followed to manufacture parts. The compiler performs multi-objective optimization on the low-level instructions to generate Pareto-optimal candidates.
☆27Nov 25, 2021Updated 4 years ago
Alternatives and similar repositories for carpentry-compiler
Users that are interested in carpentry-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Apr 23, 2023Updated 2 years ago
- SHRED: 3D Shape Region Decomposition with Learned Local Operations -- SIGGRAPH Asia 2022☆23Mar 5, 2026Updated 2 weeks ago
- Code for the paper "Developable Approximation via Gauss Image Thinning"☆14Jul 8, 2021Updated 4 years ago
- a visualization tool for voxcraft-sim☆16Jan 28, 2021Updated 5 years ago
- Implementation of the paper "Automatic Surface Segmentation for Seamless Fabrication Using 4-axis Milling Machines"☆12Apr 27, 2021Updated 4 years ago
- Results and analysis of post-SIGGRAPH COVID poll 2022☆10Aug 27, 2022Updated 3 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- A Julia package for consensus-based optimisation☆16Mar 9, 2026Updated 2 weeks ago
- ☆11Jul 22, 2020Updated 5 years ago
- Resources for Competitive Programming☆18Jul 20, 2023Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- ☆13Sep 12, 2019Updated 6 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Third-party Klipper-based GUI and specifically designed for ChromaPad.☆17May 28, 2025Updated 9 months ago
- ☆50Apr 29, 2021Updated 4 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- This repository contains the code for CVPRW 2024 paper: Generating Material-Aware 3D Models from Sparse Views☆13Jun 11, 2024Updated last year
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- ☆22Apr 1, 2021Updated 4 years ago
- A curated list of Entity-Component-System (ECS) libraries and resources☆11Aug 28, 2020Updated 5 years ago
- ☆16Sep 14, 2020Updated 5 years ago
- A fast and efficient way to compute a differentiable bound on the singular values of convolution layers☆12Nov 22, 2019Updated 6 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- 低端存储知识☆13Mar 8, 2019Updated 7 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- Set of Utilities to simplify working with Appearances in Fusion 360☆14Apr 10, 2019Updated 6 years ago
- Learning unknown ODE models with Gaussian processes☆27Jul 30, 2018Updated 7 years ago
- Usefuls tools for C++, Qt and Open Cascade☆11Sep 28, 2022Updated 3 years ago
- [ICLR 2024] Thin-shell Object Manipulations with Differentiable Physics Simulations☆53Jun 5, 2024Updated last year
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- ShapeCoder: Discovering Abstractions for Visual Programs from Unstructured Primitives -- SIGGRAPH 2023☆30Sep 29, 2023Updated 2 years ago
- A simple software rasterizer library for 3D meshes☆17Nov 28, 2025Updated 3 months ago
- MO-LightGBM is a gradient boosting framework based on decision tree algorithms, used for Multi-objective learning to rank tasks.☆18Apr 23, 2025Updated 11 months ago
- Tensorflow 2.0 implementation of BSP-NET.☆11Dec 2, 2020Updated 5 years ago
- Intel® RealSense™ SDK for openframeworks☆13Jul 20, 2018Updated 7 years ago
- Tools for unpacking and repacking Boot.img. Nicely packaged for easy compilation!☆32Jul 27, 2013Updated 12 years ago