Holmus

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML981 44 50186
findIT
A portal site for all the services developed by and for the IT section.
Language:SCSS0 21 186
Hubben
Development repository of the physical Hubben
Language:Shell2 20 872
goreview
Einride-specific Go static analysis rules.
Language:Go1 20 150
sage
🌿 A Make-like build tool for Go projects
Language:Go38 4 124
CapStat
Language:Java0 5 470
pizza
A script for generating a random list of pizza ingredients (in Swedish)
Language:Python2 3 73
pommed
pommed + my patches for MacBook Pro 9,2 - 13" Model 2012
Language:C0 2 00
Discbuss
Software engineering project/DAT255
Language:Java0 7 00
EDA093
Labbar OS
Language:C0 2 02

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