haslab.github.io: 2 stories from 2 submitters

  1. 6
    Ranking Programming Languages by Energy Efficiency ☶ pdf compsci performance haslab.github.io
    lim avatar via lim 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  2. 6
    Formal Software Design with Alloy 6 book formalmethods haslab.github.io
    hwayne avatar via hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments