Holmus

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML943 45 47681
findIT
A portal site for all the services developed by and for the IT section.
Language:SCSS0 21 185
Hubben
Development repository of the physical Hubben
Language:Shell2 21 862
goreview
Einride-specific Go static analysis rules.
Language:Go1 22 150
sage
🌿 A Make-like build tool for Go projects
Language:Go36 7 122
CapStat
Language:Java0 5 470
pizza
A script for generating a random list of pizza ingredients (in Swedish)
Language:Python23
pommed
pommed + my patches for MacBook Pro 9,2 - 13" Model 2012
Language:C0 2 00
Discbuss
Software engineering project/DAT255
Language:Java00
EDA093
Labbar OS
Language:C02

Holmus/pommed
pommed + my patches for MacBook Pro 9,2 - 13" Model 2012
Language:C0 2 00