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.
☆29Nov 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:
- Geometric Library for Carpentry Compiler☆17Oct 1, 2021Updated 5 years ago
- ☆14Apr 23, 2023Updated 3 years ago
- Realtime shape deformation controled by coarse cages using vairous cage coordinates. Support Green Coordinates and Mean Value Coordinates…☆13Sep 2, 2024Updated 2 years ago
- SHRED: 3D Shape Region Decomposition with Learned Local Operations -- SIGGRAPH Asia 2022☆21Mar 5, 2026Updated 8 months ago
- Two-Phase Kernel Estimation for Robust Motion Deblurring☆10Jun 13, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for the paper "Developable Approximation via Gauss Image Thinning"☆14Jul 8, 2021Updated 5 years ago
- Traffic Rule-based Test Generation for Autonomous Driving Systems☆12Dec 9, 2024Updated last year
- Implementation of the paper "Automatic Surface Segmentation for Seamless Fabrication Using 4-axis Milling Machines"☆12Apr 27, 2021Updated 5 years ago
- ☆13Oct 25, 2023Updated 3 years ago
- Official Pytorch implementation of the ECCV 2022 paper Neural Space-filling Curves.☆10Oct 14, 2022Updated 4 years ago
- Resources for Competitive Programming☆17Jul 20, 2023Updated 3 years ago
- ☆13Mar 11, 2019Updated 7 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆59Mar 21, 2026Updated 7 months ago
- Disentangled Synthesis for Domain Adaptation☆13Nov 1, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 3 years ago
- Code for "Scalable and Cost-Efficient de Novo Template-Based Molecular Generation" (NeurIPS 2025)☆12Apr 29, 2026Updated 6 months ago
- Interactive debugging tool for OCCT applications that visualizes OCAF documents, AIS contexts, and topological shapes in a Qt-based inter…☆12Oct 29, 2025Updated last year
- ☆17May 26, 2020Updated 6 years ago
- Automated shapeshifting for function recovery in damaged robots.☆14Apr 30, 2020Updated 6 years ago
- ☆12May 22, 2016Updated 10 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- ☆13Sep 12, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Reproduction of "Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization" for the Reproducibility challenge@NeurIPS…☆11Jan 14, 2020Updated 6 years ago
- A C++ geometry processing library☆52Mar 12, 2021Updated 5 years ago
- ☆113Jan 11, 2023Updated 3 years ago
- ☆16Feb 7, 2024Updated 2 years ago
- Benchmark of common hash functions☆10Sep 15, 2019Updated 7 years ago
- egraph <-> json☆18Dec 29, 2025Updated 10 months ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Neural Visibility of Point Sets [SIGGRAPH Asia 2025]☆20Nov 27, 2025Updated 11 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- ☆11Sep 4, 2026Updated 2 months ago
- This repository contains the code for CVPRW 2024 paper: Generating Material-Aware 3D Models from Sparse Views☆13Jun 11, 2024Updated 2 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- The CBLIB base of scripts and tools☆10Apr 5, 2024Updated 2 years ago
- ☆11Jul 9, 2018Updated 8 years ago