An OpenSCAD library for modeling mechanical puzzles
☆46Jan 22, 2023Updated 3 years ago
Alternatives and similar repositories for puzzlecad
Users that are interested in puzzlecad are comparing it to the libraries listed below
Sorting:
- A computer algebra system for research in combinatorial game theory☆57Jan 15, 2024Updated 2 years ago
- For mosbius.org website☆30Jul 31, 2025Updated 7 months ago
- Introduction to Chip Design☆52Updated this week
- A FastAPI project template with frontend, authentication, authorization, CRUD, documentation, and testing.☆10Aug 27, 2021Updated 4 years ago
- Finds average exp per encounter of Pokemon areas☆16Sep 10, 2025Updated 5 months ago
- A 2D physics engine for Ada☆16Feb 19, 2019Updated 7 years ago
- A quick hack for adjoint gradient computations with MEEP.☆10Aug 20, 2020Updated 5 years ago
- A Flexible Tool for EM-Radiation-emitting Semiconductor Heterostructure Optimization using Quantum models☆11Nov 3, 2020Updated 5 years ago
- G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)☆12Oct 21, 2021Updated 4 years ago
- Unofficial interactive version of the game 0PLAYER☆37Jan 27, 2026Updated last month
- A Rust implementation for the board game Catan☆12May 6, 2020Updated 5 years ago
- ☆10Jan 16, 2025Updated last year
- Matlab -> lumerical interface☆13Oct 24, 2024Updated last year
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- Repository with material used in the Adaptive Signal Processing course (PPgEE-UFCG).☆13Dec 18, 2025Updated 2 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Software for electron pair distribution function (ePDF) analysis with amorphous material.☆11Aug 14, 2024Updated last year
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Interactive Configuration Backup Manager☆11Jan 6, 2023Updated 3 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Source code of Mathematical Surprises (open access)☆14Mar 24, 2025Updated 11 months ago
- Library for writing text-based user interfaces☆12Dec 22, 2017Updated 8 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- My Javascript class - taught at Render Conf & elsewhere. If you'd like me to deliver this for your company/conference, let me know!☆10Mar 22, 2018Updated 7 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- ☆10Dec 17, 2022Updated 3 years ago
- raspberry ada library☆11Jul 7, 2019Updated 6 years ago
- Implementations of the Closest Point Method☆17Jan 13, 2026Updated last month
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago