Weekly development report 2021-12-18

Welcome to the weekly development report or what was done in my Open Source projects in the last week.

Steam Sky

Roguelike in a sky with steampunk theme (written in Ada)

In the stable version, nothing to report. Which mean, the work here is probably finished. The development version soon enters its final preparation state. But there is still one week to go. :)

In the development version, the quest for a better UI, and a few small side-quests continue:


Ada binding to Tcl/Tk, the new version of TASHY

The work on the project slowed a bit in this week. The main reason is at the end of the post, a new project. ;) Anyway, some work done either. The first, I replaced CVC4 theorem prover with Z3. As far I see it works at the same level as the previous but Z3 is a lot faster than CVC4. It needs around 40-50% time less to analyze the same code. And in the code itself: the whole week spent on fixing various problems reported by Z3. :) Still around 30% of proofs await for the fix, but it is slowly moving forward.


Graphical File Manager for Linux (written in Ada)

The whole week spent on a few things:


The experimental command shell written in Nim

That something completely different and new here. :) I found a new "toy" last time and decided to give a try to it: Nim language. We will see how it will go. At this moment is too early to have any opinions, but for me, Nim looks very promising. Just it is even less popular than Ada. :) As a test for the language I started a new project, Nish. It is as usual available also on GitHub and GitLab. Currently, it is a very basic command shell, tested only on Linux, but should work. Just may be a "bit" insecure. :) I'm impressed how much done with so small amount of code. Also, the Nim build system is very user-friendly.