Elementary-Affine-Type-Theory-legacy
Minimal, efficient proof language (by VictorTaelin)
openscad
OpenSCAD - The Programmers Solid 3D CAD Modeller (by openscad)
SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
surveyjs.io
featured
Elementary-Affine-Type-Theory-legacy | openscad | |
---|---|---|
1 | 73 | |
14 | 6,448 | |
- | 1.4% | |
10.0 | 9.4 | |
almost 5 years ago | 6 days ago | |
JavaScript | C++ | |
MIT License | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Elementary-Affine-Type-Theory-legacy
Posts with mentions or reviews of Elementary-Affine-Type-Theory-legacy.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-09.
openscad
Posts with mentions or reviews of openscad.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-05.
- Show HN: Atopile – Design circuit boards with code
-
OpenSCAD Survey - What should be improved ?
A measuring tool has been worked on, here is the github issue: https://github.com/openscad/openscad/issues/3638
-
OpenSCAD Survey - what programming language do you want to be added to app?
There is a lot of work going on for adding Python. Guenther pushed a PR with code from PythonSCAD . It is under technical review - design, api and code. https://github.com/openscad/openscad/issues/4880 this is the tracking bug.
-
remove fastcsg option
Please let me know if you have any comments about this, I want to make sure that this will not break anyone's workflow. Feel free to reply here or in the github issue https://github.com/openscad/openscad/issues/4870
-
PSA: Try manifold and report bugs!
Short edges (e.g. due to very high $fn) can cause bug in the triangulator, there is a fix for this but is not ready for merging. (https://github.com/openscad/openscad/issues/4679)
-
Looking for a poor man's AutoCad
LibreCAD, OpenSCAD (more script based and more for solids), FreeCAD.
-
anyway to change the default "render complete" chime?
Found this, not sure if it's useful: https://github.com/openscad/openscad/blob/ac1d89f2381f8d4b6eaf0492c8ba1666d7d7f393/sounds/complete.wav
- Unexpected behavior from rotate_extrude
-
SVG Scaling issue in Development Version
Things like this should be reported at https://github.com/openscad/openscad/issues
-
manifold backend is just merged
1.) Check out the latest github source and follow the build directions: https://github.com/openscad/openscad
What are some alternatives?
When comparing Elementary-Affine-Type-Theory-legacy and openscad you can also consider the following projects:
truck - Truck is a Rust CAD Kernel.
SolidPython - A python frontend for solid modelling that compiles to OpenSCAD
Fornjot - The world needs another CAD program.
implicit - A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
CascadeStudio - A Full Live-Scripted CAD Kernel in the Browser
curv - a language for making art using mathematics
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
cherry-mx-keycaps - 3D models of keycaps in cherry profile.
arcs
graphscad
proc-rock - Procedural Generation of Realistic-looking Rocks using Geological and Visual Clues
Rapidcsv - C++ CSV parser library
Elementary-Affine-Type-Theory-legacy vs truck
openscad vs SolidPython
Elementary-Affine-Type-Theory-legacy vs Fornjot
openscad vs implicit
Elementary-Affine-Type-Theory-legacy vs CascadeStudio
openscad vs curv
Elementary-Affine-Type-Theory-legacy vs Kind
openscad vs cherry-mx-keycaps
Elementary-Affine-Type-Theory-legacy vs arcs
openscad vs graphscad
openscad vs proc-rock
openscad vs Rapidcsv