aaron-siegel / puzzlecadView external linksLinks
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☆55Jan 15, 2024Updated 2 years ago
- For mosbius.org website☆29Jul 31, 2025Updated 6 months ago
- Introduction to Chip Design☆51Feb 6, 2026Updated last week
- A FastAPI project template with frontend, authentication, authorization, CRUD, documentation, and testing.☆10Aug 27, 2021Updated 4 years ago
- QGIS svg icons - Animal silhouettes☆11Nov 17, 2018Updated 7 years ago
- An Opus Magnum mod loader (in-dev).☆14Mar 4, 2024Updated last year
- 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
- A 2D physics engine for Ada☆16Feb 19, 2019Updated 6 years ago
- Software for electron pair distribution function (ePDF) analysis with amorphous material.☆11Aug 14, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A scripting language for cowboy coders☆22Jun 1, 2024Updated last year
- Plover plugin for computer aided transcription (CAT)☆16Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- Repository with material used in the Adaptive Signal Processing course (PPgEE-UFCG).☆12Dec 18, 2025Updated last month
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A Rust implementation for the board game Catan☆12May 6, 2020Updated 5 years ago
- A terminal-based renderer for OpenGL shaders. Like Shadertoy, but in the terminal.☆12Sep 24, 2023Updated 2 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- OpenSCAD Pulley Library to create various pulleys and step pulleys in 3D☆12Dec 28, 2021Updated 4 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- Repository for Course 60-212 at CMU☆12Jan 22, 2026Updated 3 weeks ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A puzzle game inspired by Yume Nikki and The Witness☆12Aug 26, 2023Updated 2 years ago
- ☆11Dec 9, 2022Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Create merkle trees from directories.☆15Nov 28, 2016Updated 9 years ago
- ☆10Dec 17, 2022Updated 3 years ago
- A linter for Soufflé Datalog☆16Apr 1, 2024Updated last year
- Calculate the difference between two sets of CSS stats☆13Jan 3, 2023Updated 3 years ago
- Ruby wrapper for the Companies House REST API.☆13Sep 2, 2025Updated 5 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Desktop document generation (.odt, .pdf, .doc, ...) based on appy framework (http://appyframework.org) and OpenOffice/LibreOffice☆16Jan 21, 2026Updated 3 weeks ago
- A collection of Farcaster frames☆13Jun 28, 2024Updated last year
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago