To be honest, I never used those tools myself, nor I do not know how much they are actively maintained, but usually the average Ada program is much less buggy than the average C program and usually bugs are readily caught by the checks that the language inserts by default (for example, you cannot have a "buffer overflow" that smashes silently the stack). According to the web site, Ironsides should be formally proved to be free from buffer overflows, uninitialized variables and other amenities.
I just briefly chime-in to say that I am a fan of LaTeX and that I used it to write my book (about DSP, if you are curious). LaTeX can be a bit steepy at the beginning, but if you are willing to invest some time in it, I think you will find more convenient than other WYSIWYG tools, especially if you write lots of math.
For my graphical needs I use inkscape which I consider a great tool (most of my figures are schemes, plots, ... that are very suited for vectorial format). If you are willing to learn some keyboard shortcut, you can go very fast... (Being an emacs user can help since you already will have part of your brain specialized in learning things like Ctl-Alt-Shift-S [save in a different format {you can use the menus too}] :-)
Authored Comments
If you want software that is strong and secure, maybe you could be interested in two Ada-based projects
* Ironsides (https://news.ycombinator.com/item?id=7553019) an " authoritative/recursive DNS server pair" formally verified using SPARK (a tool for formally checking Ada programs, see http://www.spark-2014.org/)
* ADHCP (https://www.codelabs.ch/adhcp/), a DHCP implementation in Ada
To be honest, I never used those tools myself, nor I do not know how much they are actively maintained, but usually the average Ada program is much less buggy than the average C program and usually bugs are readily caught by the checks that the language inserts by default (for example, you cannot have a "buffer overflow" that smashes silently the stack). According to the web site, Ironsides should be formally proved to be free from buffer overflows, uninitialized variables and other amenities.
I just briefly chime-in to say that I am a fan of LaTeX and that I used it to write my book (about DSP, if you are curious). LaTeX can be a bit steepy at the beginning, but if you are willing to invest some time in it, I think you will find more convenient than other WYSIWYG tools, especially if you write lots of math.
For my graphical needs I use inkscape which I consider a great tool (most of my figures are schemes, plots, ... that are very suited for vectorial format). If you are willing to learn some keyboard shortcut, you can go very fast... (Being an emacs user can help since you already will have part of your brain specialized in learning things like Ctl-Alt-Shift-S [save in a different format {you can use the menus too}] :-)