CascadeStudio
Kind
Our great sponsors
CascadeStudio | Kind | |
---|---|---|
18 | 21 | |
958 | 2,565 | |
- | - | |
0.0 | 9.5 | |
10 months ago | over 1 year ago | |
JavaScript | Rust | |
MIT License | MIT License |
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.
CascadeStudio
- Cascade Studio
-
Gimp 2.99.18 Released: The Last Development Preview Before 3.0
OCCT is definitely difficult.
I am almost as far as you can get from an expert but:
For example the TNP issue derives from OCCT (or something in the stack close to it, I am not exactly sure) not really handling face naming at all.
So if you want to avoid topological naming issues (which is a hard problem in CAD), you apparently have to do some work to track before and after and reconstruct your face naming.
https://wiki.freecad.org/Topological_naming_problem
https://forum.freecad.org/viewtopic.php?t=27278
Then there are various fairly entrenched issues to do with filleting and chamfering. Basically, both these operations will fail (in FreeCAD at least, but it's OCCT at "fault") if a chamfer or fillet would completely consume an existing edge. (It also sometimes creates impossible objects when filleting, or used to).
Booleans can be slow.
And more generally, it seems if you track the FreeCAD project that OCCT can be inscrutable when things fail; error messages aren't the greatest etc.
The flip side of OpenCascade is that it seems to be highly portable and has for example been compiled to JS with Emscripten for this astonishing thing:
https://zalo.github.io/CascadeStudio/
It's a monumental open source project, for sure, and it's definitely not nothing that we have an open source CAD kernel; these are projects that perhaps have to extend beyond the working life of an individual developer if they are to be stable. And there are loads of projects built around it.
- Better OpenSCAD?
-
Show HN: Dslcad a programming language and interpreter for building 3D models
If you haven't seen it you may want to check out https://github.com/zalo/CascadeStudio
From what I see, it is exposing the OpenCascade base commands directly, versus your completely new DSL, but you might be interested in a way to implement your DSL on top of such an interface such as this which takes out a lot of the extra work of having a rendering interface, exports, etc, maybe.
-
Ask HN: If money was no object what software would you create?
It's nowhere near ready for primetime, but you should take a look at CascadeStudio (https://github.com/zalo/CascadeStudio)
-
Fornjot – The world needs another CAD program
FreeCAD is GUI-based though, not code-first like Fornjot. A better comparison would be CadQuery (https://cadquery.readthedocs.io/en/latest/intro.html) or Cascade Studio (https://zalo.github.io/CascadeStudio/), both of which are code-first and based on the same CAD kernel as FreeCAD.
- Fornjot: A next-generation Code-CAD application
- CascadeStudio: A Full Live-Scripted CAD Kernel in the Browser
-
Support for Javascript?
It is an actual example from CascadeStudio, but I haven't looked into it enough to know how what actually happens under the hood, but I assume the following:
- Playing with Mystery Curves (inspired by the whirlpool vase posted a couple days ago)
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!
What are some alternatives?
cadquery - A python parametric CAD scripting framework based on OCCT
HVM - A massively parallel, optimal functional runtime in Rust
psml - Python library for OpenSCAD
opencascade.js - Port of the OpenCascade CAD library to JavaScript and WebAssembly via Emscripten.
OpenJSCAD.org - JSCAD is an open source set of modular, browser and command line tools for creating parametric 2D and 3D designs with JavaScript code. It provides a quick, precise and reproducible method for generating 3D models, and is especially useful for 3D printing applications.
urweb - The Ur/Web programming language
truck - Truck is a Rust CAD Kernel.
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.
curated-code-cad - A list of the various code-cad projects out there.
awesome-programming-languages - The list of an awesome programming languages that you might be interested in
BOSL - The Belfry OpenScad Library - A library of tools, shapes, and helpers to make OpenScad easier to use.
tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.