Parto con algunos de Forth:
Forth es un lenguaje basado en stack y notación polaca inversa (es decir, una división se escribiría 10 2 /) creado cerca del 1970. Se puede extender así mísmo usando "words" o comandos, que pueden compilarse o ejecutarlas en un intérprete.

Red Net2o:
El cliente venía preinstalado junto al gforth de android pero también está para PC. Parece que es una red p2p con encriptación y alguna que otra idea nueva, no le he dado muchas vueltas...
https://fossil.net2o.de/net2o/doc/trunk/wiki/net2o.md

El tipo es uno de los mantenedores principales del repo del gforth (gnu forth). Es una de las tantas implementaciones que trata de seguir las pautas del ANS Forth (algo como el estándar ANSI del C pero Forth)
Hay un manual y unos tutoriales bien rápidos:
https://gforth.org/

Una de las implementaciones cabía en un bootsector (512bytes):
https://news.ycombinator.com/item?id=24604457

El creador del lenguaje ,Chuck Moore, tiene algunos proyectos en hardware y otros lenguajes similares.

La Dalila de Sansón y Dalila, de actriz porno superdotada que inventó un sistema de telecomunicaciones que hoy en día se aplica en Wifi.

John Carmack comentando sus experiencias con herramientas de "static code analysis" mientras hacía juegos:
https://www.gamasutra.com/view/news/128836/InDepth_Static_Code_Analysis.php
Al final siempre habrán errores proporcionales a la cantidad de líneas de código y personas en el proyecto, por lo que se cumple el dicho "haz que el producto funcione primero y luego lo mejoramos".
>Raw code is like a physics textbook that only contains equations
with no surrounding text.

>lenguaje basado en stack y notación polaca inversa
Tampoco es para tanto, PostScript también está basado en pila y usa RPN.