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."
And, to play with the electric circuits themselves, graphically:
QUCS - Quite Universal Circuit Simulator
"#Qucs is an integrated #circuit simulator which means you are able to setup a circuit with a graphical user interface (GUI) and simulate the large-signal, small-signal and noise behaviour of the circuit. After that simulation has finished you can view the simulation results on a presentation page or window."
This is a front-end fir #SPICE.
"#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."
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
This is the core of e.g. #FreeCAD:
https://dev.opencascade.org/
"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."