Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Wallpaper Engine - Wallpaper Engine enables you to use live wallpapers on your Windows desktop.
Haskell - An advanced purely-functional programming language
RainWallpaper - RainWallpaper is a powerful live wallpaper engine that allows you to use various types of...
Isabelle - Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Live GIF - Convert live photos to GIF