In diesem Artikel geht es um die Programmiersprache Lean, die es erlaubt, mathematische Beweise zu führen, und ein Spiel, welches dabei helfen kann, Lean zu lernen.

In diesem Artikel geht es um das Programm SURFER, welches es ermöglicht algebraische Flächen zu visualisieren.

In diesem Artikel geht es um das Programm Context Free Art, welches es ermöglicht, mit wenigen einfachen Befehlen Bilder zu ‚programmieren‘.