Kind
openscad
Kind | openscad | |
---|---|---|
21 | 73 | |
2,565 | 6,448 | |
- | 1.4% | |
9.5 | 9.4 | |
over 1 year ago | 6 days ago | |
Rust | C++ | |
MIT License | GNU General Public License v3.0 or later |
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.
Kind
-
Eliezer Yudkowsky has great news: "Parents conceiving today may have a fair chance of their kids living to see kindergarten."
As a developer of a proof assistant (Kind) I'm highly interested in this line of work. Can you point me to some of these papers? And perhaps people involved in this line of work?
- Somos os devs da HVM, o compilador Brasileiro que rodou o mundo. Vamos colocar nosso logo no /r/place?
-
A list of new budding programming languages and their interesting features?
Kind: A modern proof language (though functional).
- Fornjot: A next-generation Code-CAD application
-
How to handle list / contiguous array definition and implementation in a type system?
I have seen in languages like KindLang the definition of Array be like a Binary tree, but there is some magic there in the definition of the Array type that I don't understand yet. Also, I don't want to define the contiguous array further., it should be a literal contiguous array. The Kind "Word" type definition (arbitrary number of bytes) is closer to my contiguous array, but it has a similarly complex definition which like I said I don't understand.
-
Type Checking as Calculation
Totally agree about the Blub Paradox, but there's definitely value in Self Types. See, for example, [Kind](https://github.com/Kindelia/Kind), which is able to type recursive data types by using Self Types.
-
Please, keep in mind there is ZERO FUNDING for my projects.
For these who don't know, I'm the author of Kind and HVM. I've recently seen a criticism from an influent person in the community, who I often took as an inspiration, that made me really sad. "the guy behind this has built some impressive-sounding stuff before... it looks like his projects tend to just... go nowhere and he just abandons them and does something else?"
-
Is it possible to make join work for arbitrary depths?
This is very easy with dependent types! For example, in Kind:
- A massively parallel, optimal functional runtime in Rust
- Eu acabei de lançar um dos "compiladores" mais rápidos do mundo. Apoiem o trabalho brasileiro!
openscad
- 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?
HVM - A massively parallel, optimal functional runtime in Rust
SolidPython - A python frontend for solid modelling that compiles to OpenSCAD
opencascade.js - Port of the OpenCascade CAD library to JavaScript and WebAssembly via Emscripten.
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
urweb - The Ur/Web programming language
cherry-mx-keycaps - 3D models of keycaps in cherry profile.
awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
graphscad
awesome-programming-languages - The list of an awesome programming languages that you might be interested in
proc-rock - Procedural Generation of Realistic-looking Rocks using Geological and Visual Clues