Notes concerning “Graphical user interfaces”
Index set inference or domain inference for programming with indexed families
2007 to 2009 (4243 words)
Minimal GUI libraries
2015-11-14 (updated 2015-11-15) (823 words)
Circle-portal GUI
2016-06-28 (1740 words)
Quicklayout
2017-01-10 (updated 2017-01-18) (479 words)
Caching screen contents
2017-06-14 (294 words)
Pixel stream
2017-06-15 (updated 2018-10-26) (574 words)
Real time windowing
2017-08-03 (1349 words)
Cached SOA desktop
2017-08-03 (updated 2018-10-26) (919 words)
What does a futuristic OS look like?
2017-08-18 (updated 2018-10-26) (881 words)
General purpose layout syntax
2017-11-10 (updated 2018-12-25) (3512 words)
A minimal window system
2018-04-27 (updated 2018-10-26) (1777 words)
Window systems
2018-10-26 (106 words)
A nonscriptable design for the Wercam windowing system
2018-10-26 (updated 2018-11-13) (919 words)
Scriptable windowing for Wercam
2018-10-26 (updated 2018-12-13) (4056 words)
Speculative plans for BubbleOS
2018-10-28 (updated 2019-02-24) (1817 words)
IMGUI programming compared to Tcl/Tk
2018-12-24 (updated 2018-12-31) (1219 words)
IMGUI programming language
2019-01-01 (updated 2019-02-04) (3275 words)