Since I generally have no clue what technologies are popular (other than the obvious big name projects) I'll just toss out some interesting links I've recently

Since I generally have no clue what technologies are popular (other than the obvious big name projects) I'll just toss out some interesting links I've recently bookmarked in comments here. - gron (Greppable JSON): https://github.com/tomnomnom/gron https://github.com/tomnomnom/gron - MarkDownload (Markdown Web Clipper): https://github.com/deathau/markdownload https://github.com/deathau/markdownload - Lean4 links: -- Theorem proving: https://lean-lang.org/theorem_proving_in_lean4/introduction.html https://lean-lang.org/theorem_proving_in_lean4/introduction.... -- Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/NNG4 https://adam.math.hhu.de/#/g/leanprover-community/NNG4