| | Formal Software Design with Alloy 6 (haslab.github.io) |
| 1 point by Tomte 11 months ago | past |
|
| | Ranking Programming Languages by Energy Efficiency [pdf] (haslab.github.io) |
| 2 points by martinmusio7 on July 30, 2024 | past | 1 comment |
|
| | Ranking Programming Languages by Energy Efficiency [pdf] (haslab.github.io) |
| 4 points by tzury on July 29, 2024 | past | 1 comment |
|
| | Ranking Programming Languages by Energy Efficiency [pdf] (haslab.github.io) |
| 3 points by melenaboija on Sept 18, 2022 | past |
|
| | Formal Software Design with Alloy 6 book (haslab.github.io) |
| 7 points by efm on Nov 15, 2021 | past | 1 comment |
|
