Implementation of "A Lineage-Based Referencing DSL for Computer-Aided Design", PLDI 2023
☆17Jun 20, 2023Updated 3 years ago
Alternatives and similar repositories for lineage-based-cad-referencing
Users that are interested in lineage-based-cad-referencing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Live three.js coding with STL and OBJ export☆23Nov 20, 2022Updated 3 years ago
- WebGL app that breaks out many of the threejs camera parameters to fine tune projection mapping alignment☆13Oct 7, 2017Updated 8 years ago
- Implements a Gaussian Mixture model in JavaScript☆10Dec 3, 2021Updated 4 years ago
- Single Transferable Vote implemented in Rust☆15Feb 27, 2025Updated last year
- ☆21Nov 5, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Apr 6, 2026Updated 3 months ago
- Nix configurations files for corytertel☆14Feb 19, 2025Updated last year
- This is an example of a boolean expression editor made in Dear ImGui☆15Dec 3, 2022Updated 3 years ago
- Radial Edge data structure☆16Oct 25, 2025Updated 8 months ago
- A visual simulator for the amoebot model of programmable matter.☆12Oct 6, 2023Updated 2 years ago
- An experimental approach to expressing vector math in js (tagged template literals)☆31Dec 25, 2022Updated 3 years ago
- Fork of https://sourceforge.net/projects/imatistl/☆18Aug 18, 2018Updated 7 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- An implementation of Smalltalk 80 in Rust☆24Mar 21, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Field Panel Method for solving the Full Potential Equation☆13Jun 19, 2019Updated 7 years ago
- Basic C++ OpenGL and python script for generating sketch from mesh.☆15Feb 23, 2022Updated 4 years ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- A JavaScript library for interactive subdivision curves.☆33Oct 22, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/dpix☆13Jan 7, 2016Updated 10 years ago
- High resolution and depth rendering to PNG for Three.js☆39Oct 5, 2023Updated 2 years ago
- ☆11May 7, 2023Updated 3 years ago
- A C++17 library for reading and writing NumPy .npy files, with optional .npz (zip) archive support☆18Apr 2, 2026Updated 3 months ago
- A Rust CAD kernel.☆22Jul 13, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A diff tool that highlights changes at the token (rather than line) level☆14Dec 19, 2022Updated 3 years ago
- Proxy the sd_notify messages between systemd and process in a different cgroup☆18Jul 31, 2018Updated 7 years ago
- A C++ header-only color format & conversion library☆18Dec 21, 2014Updated 11 years ago
- A reimplementation of GHC's runtime system in Rust☆15Apr 29, 2014Updated 12 years ago
- OpenSCAD DSL for OCaml☆15Oct 4, 2022Updated 3 years ago
- Finite element .msh format parser, written in TypeScript☆19Sep 26, 2023Updated 2 years ago
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 8 years ago
- 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.
- PDF Viewer built with Qt☆16Jul 15, 2022Updated 4 years ago
- Interactive math react components in jupyter☆11Jul 25, 2023Updated 2 years ago
- LBM fluid simulation based on wgpu-rs.☆30Dec 12, 2019Updated 6 years ago
- Domain-specific language for IIR filters☆17Sep 28, 2016Updated 9 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- THREE.js camera for Photogrammetry☆15Jan 4, 2023Updated 3 years ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year