"Chialisp is a pure and functional language with a focus on security and auditability. Chialisp is commonly used on the Chia blockchain to lock funds in smart coins until spent and released by their owner. This enables behavior similar to that of smart contracts."
Mention on the Lisp timeline at https://en.wikipedia.org/wiki/AutoLISP
kamid is a FREE, easy-to-use and portable implementation of a 9p file server daemon for UNIX-like systems with a strong focus on security and correctness.
Found via https://www.cliki.net/tinmop, where a client for this 9p file server is described.
See also the author's blog. e.g. https://www.omarpolo.com/post/joy-of-elisp-sndio.html
Lunar is my attempt to distill 40 years of programming language experience into the "best" language I can come up with. I hope that this will bring some forgotten ideas back into the spotlight of public attention.
Henry Baker wrote a beautiful little paper (see https://www.plover.com/~mjd/misc/hbaker-archive/ForthStack.html) showing
the mapping between Linear Lisp (a Lisp in which all variables are
referenced once and only once) and a Forth-style "frameless stack". There
is also a discussion of Forth as a set of linear combinators: Manfred von
Thun's Joy https://en.wikipedia.org/wiki/Joy_(programming_language) is a
Forth-like using nested lists in which the stack is the top-level list.