☆23Dec 17, 2015Updated 10 years ago
Alternatives and similar repositories for PaintMachine
Users that are interested in PaintMachine are comparing it to the libraries listed below
Sorting:
- Renders raspberry pi camera feed to opengl texture.☆16Oct 28, 2013Updated 12 years ago
- ☆30Nov 18, 2019Updated 6 years ago
- LiCRM☆11Jan 29, 2016Updated 10 years ago
- ☆10Mar 5, 2021Updated 4 years ago
- Face tracking algorithm (programmed in C++ - OpenCV) sends control commands to Arduino based Pan-Tilt camera programmed in Java☆10Jan 21, 2013Updated 13 years 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
- ☆11May 30, 2013Updated 12 years ago
- RandA is a Bridge between Raspberry Pi and Arduino that leverages the hardware equipment and the computing power of the first with the sh…☆12Nov 30, 2020Updated 5 years ago
- ☆10Oct 8, 2015Updated 10 years ago
- ☆10Jan 16, 2025Updated last year
- My variant of Jason Smith's Eustathios 3d printer (a variant of Tim Rastall's Ingentis)☆11Feb 9, 2015Updated 11 years ago
- ☆10Dec 7, 2015Updated 10 years ago
- My NaNoGenMo 2014 project: a generative detective comic☆16Nov 22, 2014Updated 11 years ago
- Projects i do in arduino☆12Jul 21, 2013Updated 12 years ago
- an experimental simulation of a mechanical destination board known from Airports☆11Apr 30, 2017Updated 8 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- OpenSelfie is an Open Source (hardware and software) photobooth based on the Raspberry Pi and Wyolum's AlaMode☆15Oct 15, 2015Updated 10 years ago
- Tool for monitoring and anomaly detection of 3D Concrete Printing using Computer Vision☆13Oct 18, 2022Updated 3 years ago
- Processing Works☆10Oct 13, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- RepRAP Morgan scad source repository☆93Feb 19, 2017Updated 9 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A script to make it easier to ssh into running amazon EC2 instances.☆18Nov 4, 2015Updated 10 years ago
- These are the files used to create the evezor mass production coaster demo http://evezor.com/coasters☆11May 16, 2017Updated 8 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- jQuery Simple Fade SlideShow☆17Nov 29, 2023Updated 2 years ago
- Java implementation of popular RF protocols☆15Oct 19, 2015Updated 10 years ago
- Help! Dan North has kidnapped me and is making me create a BDD framework in Clojure☆76Apr 30, 2010Updated 15 years ago
- Code for Strange Loop talk on Specter☆13Sep 26, 2015Updated 10 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Delta RepRap☆10May 29, 2024Updated last year
- A processing thing that draws weird glyphs☆12May 2, 2017Updated 8 years ago
- Repairs an OBJ file on the command line☆10Jun 6, 2017Updated 8 years ago
- Small chat-app to test Aleph websocket support.☆25Sep 15, 2016Updated 9 years ago
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- Dmx Library for Arduino Due with support for 5 DMX ports☆12Jul 29, 2018Updated 7 years ago