lean4-raytracer VS WickedEngine

Lean is currently moving to the 4th iteration which is the first intended to be a general-purpose programming language. It "is currently being released as milestone releases towards a first stable release". For now the main goal is to port mathlib to the new version, and then they will concentrate on the compiler. So it is not production ready. But that doesn't mean it is not suitable for building any programs now. There is a simple raytracer written in Lean [1]. I have built a chip8 interpreter with it and the only problem was the lack of an ecosystem, meaning I had to build the necessary libraries myself.

Now it has a RC GC and boxes everything >= 64 bits, and as the compiler isn't polished it is probably significantly slower. In the referenced raytracer repo you can find rendering time compared to the C implementation (Lean is 25x slower, but that was a year ago).

[1] https://github.com/kmill/lean4-raytracer

What about Wicked Engine?

- https://github.com/turanszkij/WickedEngine

Wicked Engine

Code base really small because it develop by solo developer with help from some volunteer contibutors. Support DirectX12 and Vulkan. There is editor for edit and save scene file but it's not finish yet so you have to mostly add features that you want by yourself beside rendering part. https://github.com/turanszkij/WickedEngine

I just ran across the Wicked Engine yesterday. It's C++, cross-platform, MIT licensed and works with both DX12 and Vulkan. I had missed it in numerous searches I had done previously, so raising it here as it seems to be easy to miss.

I'm not speaking out of my ass, either, I have very actively followed low-level development being done towards open-source engines such as Diligent and Wicked. I personally am a contributor to the latter engine, as well. It is baffling to me that independent developers don't support this platform.

If you want to make your own engine but you need modern advance graphic features out of box. I think Wicked Engine is a good choice. https://github.com/turanszkij/WickedEngine