All Projects → eclsnowman → Eustathios Spider V2

eclsnowman / Eustathios Spider V2

Update to Eustathios with a little bit of HercuLien Design Changes

Labels

Projects that are alternatives of or similar to Eustathios Spider V2

vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Stars: ✭ 35 (-67.29%)
Mutual labels:  smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+228.97%)
Mutual labels:  smt
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✭ 79 (-26.17%)
Mutual labels:  smt
archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✭ 20 (-81.31%)
Mutual labels:  smt
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (+216.82%)
Mutual labels:  smt
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Stars: ✭ 476 (+344.86%)
Mutual labels:  smt
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Stars: ✭ 48 (-55.14%)
Mutual labels:  smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Stars: ✭ 93 (-13.08%)
Mutual labels:  smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+218.69%)
Mutual labels:  smt
Nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
Stars: ✭ 73 (-31.78%)
Mutual labels:  smt
kafka-connect-transform-kryptonite
Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project
Stars: ✭ 30 (-71.96%)
Mutual labels:  smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+185.05%)
Mutual labels:  smt
Liquidhaskell
Liquid Types For Haskell
Stars: ✭ 863 (+706.54%)
Mutual labels:  smt
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+9.35%)
Mutual labels:  smt
Java Smt
JavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (-17.76%)
Mutual labels:  smt
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (+0%)
Mutual labels:  smt
Adafruit cad parts
CAD files for various boards, components and parts
Stars: ✭ 386 (+260.75%)
Mutual labels:  smt
Mbed Hdk
mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects
Stars: ✭ 106 (-0.93%)
Mutual labels:  smt
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
Stars: ✭ 91 (-14.95%)
Mutual labels:  smt
Dreal4
SMT Solver for Nonlinear Theories of Reals
Stars: ✭ 72 (-32.71%)
Mutual labels:  smt

Eustathios Spider - V2

Update to Eustathios with a little bit of HercuLien design changes.

Eustathios Spider - V2 Render Image

Hello and welcome to my github for Eustathios Spider V2 3D printer. This printer is my attempt to make additional modifications and improvements to the original Eustathios Spider design I published earlier. This has been no small task since the Eustathios printer (designed by Jason Smith) was such an exceptional design to begin with. Now that Google+ has died, the Community around the HercuLien printer and the Eustathios printer have moved to: https://forum.makerforums.info/c/herculien . This is thanks in great part to Michael K Johnson, who worked his magic to retain the years of great community interaction on G+ and ported it into the Discourse community over on Makerforums. If you are looking for support or community interaction on these printers moving forward, this is the place to go.

This family of printers is all based on the X/Y gantry mechanics of the Ultimaker. Ultimaker style mechanics utilizes a light hot-end/carriage which gets constrained by one X and one Y cross rod. Connected to these cross rods are rod ends which ride on side shafts that act both for power transmission of one axis (rotation) and as the linear guide for travel of the other axis (translation).

Originally a gentlemen who goes by the name Sublime (https://github.com/Intrinsically-Sublime/Tantillus/) created a small format variant of the Ultimaker mechanics which he called the Tantillus. Then GoopyPlastic (aka Brad Hill) created an extrusion version of the Tantillus called the tslot Tantillus (https://github.com/goopyplastic/tslot-tantillus). Following in Brad’s footsteps Tim Rastall (https://plus.google.com/u/0/+TimRastall/posts) created the very popular Ingentis printer (https://www.youmagine.com/designs/ingentis-a-tantillus-variant) which is a larger version of Tantilus using thicker linear guide components, spectra drive system, and a much larger build envelope. The next printer in this design family was by Jason Smith (https://plus.google.com/u/0/103009815307828556107/posts) call the Eustathios (https://github.com/jasonsmit4/Eustathios). This is the printer that got me excited about this family of printers. Jason made several design choices like GT2 belts which I felt were great upgrades to the platform. I lucked out because his release was timed perfectly with a promotion Misumi was running where your first order from them up to $150 in value was free. I wanted to be able to modify Jason’s files slightly, but he had modeled everything in Sketchup. My limited experience was with Solidworks (self taught) so rather than learn new software I redrew Jason’s Eustathios design files from scratch. And so my Eustathios Spider V1 variant , named due to the color scheme, was born (https://github.com/eclsnowman/Lien3D_Eustathios_Spider). I built the Eustathios and fell in love with the smooth operation, clean prints, and overall reliability. So after operating the Eustathios for several months I converted my existing large CoreXY Printer (https://github.com/eclsnowman/Lien3D_CoreXY ) into a X/Y gantry printer with larger cross rods and dual extrusion. The name of this printer is HercuLien (https://github.com/eclsnowman/HercuLien).

Sorry for the long history lesson, but as you can see there is a lot of progress and talented people involved in these projects. Also I wanted to make sure credit is properly attributed to the many great makers who have come before me. The caliber of people involved and all the creativity in the platform is what keeps me so motivated.

Eustathios Spider V2 Overview:

Build Volume: 285x285x295mm

Controler: Azteeg X5 Mini with Viki2 LCD display

Single Extruder, 200W 24V power supply for controls, 120V 500W heated bed through SSR control.

Documentation:

BOM = https://github.com/eclsnowman/Eustathios-Spider-V2/blob/master/Documentation/BOM/Eustathios%20Spider%20V2%20BOM.xlsx

Printable STL Parts = https://github.com/eclsnowman/Eustathios-Spider-V2/tree/master/STL%20Print%20FIles

Solidworks Files = https://github.com/eclsnowman/Eustathios-Spider-V2/tree/master/STL%20Print%20FIles

Other 3D model formats in 7zip due to github 50mb limit) = https://github.com/eclsnowman/Eustathios-Spider-V2/tree/master/Other%203D%20Formats

3D renders: https://github.com/eclsnowman/Eustathios-Spider-V2/tree/master/Documentation/Pictures

Image of printed parts: Eustathios Spider - V2 Printed Parts Image

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].