This is another similar (and better known) tool:
"#Icarus Verilog is a #Verilog simulation and synthesis tool. It operates as a compiler, compiling source code written in Verilog (IEEE-1364) into some target format. For batch simulation, the compiler can generate an intermediate form called vvp assembly. This intermediate form is executed by the ``vvp'' command. For synthesis, the compiler generates netlists in the desired format."
See also:
ADMS - An automatic device model synthesizer
"#ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile C code for the API of #spice simulators. Based on transformations specified in #XML language, ADMS transforms #Verilog-#AMS* code into other target languages."
Plus, I should probably mention some #CAD's:
• #LibreCAD — 2D, graphical, based on #QCAD from #RibbonSoft
https://librecad.org/cms/home.html
• #OpenSCAD — 3D, less graphical (models are described in a small language; without buttons)
• #KiCAD — professional beast (#EDA suite) for electrical engineers (but FLOSS)
Sure there are also other interesting and useful FLOSS projects and tools for engineering beyond software. Feel free to add what I missed.
This is the core of e.g. #FreeCAD:
"Open #CASCADE Technology (#OCCT) is a software development kit (#SDK) intended for development of applications dealing with #3D #CAD data or requiring industrial 3D capabilities. It includes a set of #C++ class libraries providing services for 3D #surface and #solid #modeling, CAD #data #exchange, and #visualization."
"Starting from version 6.7.0 (released end 2013), OCCT is available under #GNU #LGPL license."
And this is the #company behind it (primary developer):
But Open #CASCADE seems to be a pretty interesting project in itself: I'm going to investigate the possibilities to contribute to it — it overlaps very strongly with my own areas of interests.
Maybe, say, an #OCaml bindings would be in order — #Python, although isn't the worst PL in existence, is fairly suboptimal, just like #C++. But, I suppose, there is much more than that.
An interoperation with #Coq later?
OpenCASCADE Show more
Oops, I forgot that #CW doesn't always stand for Closure-finite and Weak topology…
OpenCASCADE Show more
"#FreeCAD is a #parametric #3D modeler made primarily to design real-life objects of any size. Parametric #modeling allows you to easily #modify your design by going back into your #model #history and changing its #parameters. FreeCAD is open-source and highly customizable, scriptable and extensible.
FreeCAD is multiplatfom (Windows, Mac and Linux), and reads and writes many open file formats such as #STEP, #IGES, #STL, #SVG, #DXF, #OBJ, #IFC, #DAE and many others."
https://www.freecadweb.org/